File: refresh_extension.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 (18 lines) | stat: -rwxr-xr-x 359 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
#!/bin/sh

DINGUBUNTU=0
DING=0
if [ -d ~/.local/share/gnome-shell/extensions/dingubuntu@rastersoft.com ]; then
        DINGUBUNTU=1
fi
if [ -d ~/.local/share/gnome-shell/extensions/ding@rastersoft.com ]; then
        DING=1
fi

if [ ${DINGUBUNTU} = "1" ]; then
        ./ubuntu_install.sh
fi
if [ ${DING} = "1" ]; then
        ./local_install.sh
fi
./kill.py