diff --git a/.local/dotfiles/functions/gnome-extensions.zsh##o.Linux b/.local/dotfiles/functions/gnome-extensions.zsh##o.Linux new file mode 100644 index 0000000..94b5ed3 --- /dev/null +++ b/.local/dotfiles/functions/gnome-extensions.zsh##o.Linux @@ -0,0 +1,17 @@ +function gnome-extensions () +{ + case "$1" in + true) + echo "Enabling 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 + ;; + *) + echo "Usage: $0 true|false" + ;; + esac +} +