function disable-gnome-extensions () { case "$1" in 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 }