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

This commit is contained in:
Eric Renfro 2022-02-24 21:32:21 -05:00
parent 55548b8133
commit dffbe5a702
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