From dffbe5a702d13326055bd10127b04ec7f30b106b Mon Sep 17 00:00:00 2001 From: Eric Renfro Date: Thu, 24 Feb 2022 21:32:21 -0500 Subject: [PATCH] Renamed gnome-extensions to disable-gnome-extensions and adjusted parameters --- ...inux => disable-gnome-extensions.zsh##o.Linux} | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) rename .local/dotfiles/functions/{gnome-extensions.zsh##o.Linux => disable-gnome-extensions.zsh##o.Linux} (60%) diff --git a/.local/dotfiles/functions/gnome-extensions.zsh##o.Linux b/.local/dotfiles/functions/disable-gnome-extensions.zsh##o.Linux similarity index 60% rename from .local/dotfiles/functions/gnome-extensions.zsh##o.Linux rename to .local/dotfiles/functions/disable-gnome-extensions.zsh##o.Linux index 94b5ed3..4517d9c 100644 --- a/.local/dotfiles/functions/gnome-extensions.zsh##o.Linux +++ b/.local/dotfiles/functions/disable-gnome-extensions.zsh##o.Linux @@ -1,15 +1,16 @@ -function gnome-extensions () +function disable-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" + true|on|yes) + echo "Disabling Gnome User Extensions" 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" ;; esac