psi-jack/my-yadm
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Renamed gnome-extensions to disable-gnome-extensions and adjusted parameters

Browse source
This commit is contained in:
Eric Renfro 2022-02-24 21:32:21 -05:00
parent a8ee289a6e
commit beb612e4b5
Signed by: psi-jack
GPG key ID: 14977F3A50D9A5BF
1 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
.local/dotfiles/functions/gnome-extensions.zsh##o.Linux → .local/dotfiles/functions/disable-gnome-extensions.zsh##o.Linux
View file

@ -1,15 +1,16 @@
function gnome-extensions () function disable-gnome-extensions ()
{ {
case "$1" in case "$1" in
true) true|on|yes)
echo "Enabling Gnome User Extensions" echo "Disabling Gnome User Extensions"
gsettings set org.gnome.shell disable-user-extensions false
;;
false)
echo "Disabling Gnome User Extenions"
gsettings set org.gnome.shell disable-user-extensions true gsettings set org.gnome.shell disable-user-extensions true
;; ;;
false|off|no)
echo "Disabling Gnome User Extenions"
gsettings set org.gnome.shell disable-user-extensions false
;;
*) *)
echo "Disables GNOME Extensions - In case of emergency"
echo "Usage: $0 true|false" echo "Usage: $0 true|false"
;; ;;
esac esac