7

I'm on Debian Wheezy stable with Gnome 3.4 and have several default extensions, which on the 'Installed Extensions' page at https://extensions.gnome.org/local/ (using Iceweasel's Gnome Shell Integration plugin), are not able to be removed like the ones I have added from extensions.gnome.org myself.

These include (for me anyway - and this may not be the complete list as I probably have one or two of them enabled and thus no quick way to know all of them):

Alternative Status Menu
Applications Menu
Auto Move Windows
Dock
Gajim IM integration
Places Status Indicator
SystemMonitor
User Themes
windowNavigator
Workspace Indicator

Inspecting the HTML of the Installed Extensions page, I see no way to hack it via Firefox's developer tool (at least with my limited HTML knowledge and only from a quick look) to somehow make those extensions uninstallable via that page.

Is it as simple as deleting (e.g. for the first one) the folder /usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gcampax.github.com, then restarting Gnome Shell and it'll be removed from the list?

I want to do it correctly, without introducing problems later.

  • 1
    These are part of a package called gnome-shell-extensions. If you don't use gnome-classic I think you can remove the package. Otherwise you'll have to remove the extension directories, as you said, but they'll get reinstalled each time you update your system. The web-based installed cannot remove these extensions as it's limited to the ones installed in your ~home. – don_crissti Mar 20 '15 at 3:12
2

For me on Fedora 26 running gnome 3.24 these packages were actually installed as OS packages.

If I run sudo dnf list installed | grep -i gnome I could see them usually with a name like gnome-shell-extension-foo.

I could remove them by uninstalling this package and not using the installed extensions page directly. I restarted my browser session and those extensions disappeared from the list.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.