File: local_install.sh

package info (click to toggle)
gnome-shell-extension-desktop-icons-ng 48.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,424 kB
  • sloc: javascript: 8,703; xml: 109; sh: 69; python: 18; makefile: 9
file content (8 lines) | stat: -rwxr-xr-x 255 bytes parent folder | download 
1
2
3
4
5
6
7
8
 
#!/bin/bash

rm -rf ~/.local/share/gnome-shell/extensions/ding@rastersoft.com/*
rm -rf .build
mkdir .build
meson setup --prefix=$HOME/.local/ --localedir=share/gnome-shell/extensions/ding@rastersoft.com/locale .build
ninja -C .build install
rm -rf .build