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
}