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 }