Ubuntu
gnome-shell package

  1. Bug #1882353
  2. Comment #13

Comment 13 for bug 1882353

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

You can use the 'gsettings' command to clear that:

  gsettings set org.gnome.shell enabled-extensions "[]"

And don't be concerned about the default extensions not showing up there. They are not meant to. Default (system) extensions are considered implied. If you want to see everything more clearly then use:

  gnome-shell-extension-prefs

That all said, extensions don't sound like the problem with this bug...