|
|
|
@ -1,5 +1,13 @@
|
|
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
FORCE_KEY="$1"
|
|
|
|
|
|
|
|
|
|
if [ "x$FORCE_KEY" != "x" -a "$FORCE_KEY" != "--force" ]; then
|
|
|
|
|
echo "Unknown key. Exit."
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LOCK_FILE="$HOME/.config/gnome-flavour-selector/timestamp"
|
|
|
|
|
EXTENSIONS_SWITCHER="/etc/gnome-flavour-selector/extensions.json"
|
|
|
|
|
|
|
|
|
@ -35,10 +43,14 @@ if [ -f "$LOCK_FILE" -a -f "$EXTENSIONS_SWITCHER" ]; then
|
|
|
|
|
done
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ -f "$LOCK_FILE" ]; then
|
|
|
|
|
if [ -f "$LOCK_FILE" -a "$FORCE_KEY" != "--force" ]; then
|
|
|
|
|
exit 0
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ "$FORCE_KEY" != "--force" ]; then
|
|
|
|
|
date +%Y%m%d%H%M > $LOCK_FILE
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
EXTENSIONS="arcmenu@arcmenu.com ding@rastersoft.com dash-to-panel@jderose9.github.com"
|
|
|
|
|
for ext in $EXTENSIONS; do
|
|
|
|
|
gnome-extensions disable $ext
|
|
|
|
@ -105,5 +117,3 @@ elif [ $MODE = "Shell" ]; then
|
|
|
|
|
else
|
|
|
|
|
echo "Unknown"
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
date +%Y%m%d%H%M > $LOCK_FILE
|
|
|
|
|