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
}