24

Gnome Shell 3.18.5 notified me some extensions needed updating. I visited https://extensions.gnome.org/local/ from Firefox, updated the Firefox extension, and now I want to uninstall some of the Gnome extensions, for example the following one.

Removable Drive Menu by fmuellner
System extension

A status menu for accessing and unmounting removable devices.

Hovering the mouse on System extension, I read the following tooltip.

System extension should be uninstalled using package manager. See about page for details.

The About page says:

What is System extension? How to uninstall it?

System extension is installed to system-wide location (usually /usr/share/gnome-shell/extensions). Such extension may be used by any PC user, however it can be uninstalled only by system administrator (root). To uninstall system extension use your distro's package manager or ask your system administrator.

I looked through Synaptic but don't see this extension. How do I remove it?

These are the extensions I want to remove.

0

9 Answers 9

26

Since the remove buttons are no longer available in gnome-shell 3.26, the only way I know is deleting the extension directory itself.

With Nautilus

  1. Open Nautilus and show hidden files (press CTRL + H).
  2. Go to your home folder.
  3. Navigate to .local/share/gnome-shell/extensions
  4. Delete the directory of the unwanted extension.
  5. Reload gnome-shell. Press ALT + F2, type r and press ENTER.

The macho way

  1. Open the console.
  2. Go to the extensions directory: cd ~/.local/share/gnome-shell/extensions
  3. List the extensions and get the name of the unwanted extension: ls -l
  4. Delete the extension directory: rm -r extension@author
  5. Reload gnome-shell. Press ALT + F2, type r and press ENTER.
23

There are two folders for gnome-shell extensions:

  1. ~/.local/share/gnome-shell/extensions for user-side
  2. /usr/share/gnome-shell/extensions for system-side
1
  • 1
    To list all extensions in both directories: ls -d -1 /usr/share/gnome-shell/extensions/* ~/.local/share/gnome-shell/extensions/*
    – Noam Manos
    Commented Dec 16, 2018 at 16:15
7

Michael,

I had the same problem with the same extensions. The problem is that they are "System Extensions" and not in the normal location of ~/.local/share/gnome-shell/extensions as others have said. Instead, "System Extensions" are installed in /usr/share/gnome-shell/extensions.

To remove:

cd /usr/share/gnome-shell/extensions
sudo rm -rf [email protected]

Repeat as necessary.

Finally, you'll want to reload the shell: Alt+F2 r

1
  • March 2024 and still works perfectly (in Debian 12.5) Should now be the accepted answer since gnome-tweak-tool remove buttons have since been deprecated and not every Linux system can use the Extensions add-on in Firefox
    – graham
    Commented Mar 9 at 14:43
6
  1. Launch gnome-tweak-tool
  2. Search "Extensions" in right menù
  3. Select the extension and click on "Remove"

an example

4
  • 5
    Worth noting that tweak tool will only uninstall local extensions (but not system wide extensions - the Remove button will be greyed out for those ones) Commented Mar 24, 2017 at 17:16
  • 1
    some of my extensions have a grayed-out remove button (e.g. I can not remove them)
    – SumNeuron
    Commented Jul 18, 2017 at 8:37
  • 10
    The "REMOVE" buttons are no longer there in gnome-shell 3.26. Any ideas?
    – Delorean
    Commented Nov 8, 2017 at 17:21
  • @Dorian Click on an item and it will appear in the Software app with a remove button, which for no apparent reason failed to remove my nonloadingsinceupgrading1904to1910 Arc Menu. Commented Oct 24, 2019 at 8:26
4

Go to software -> add-on, you will see your extensions there, just remove them.

2

Use command gnome-extensions uninstall extension@author to uninstall any unwanted extension. After that reload gnome-shell by pressing ALT + F2, type r and press ENTER.

e.g This is how you remove the pomodoro extension from your machine,

mridul@mridul-PC:~$ gnome-extensions list
[email protected]
desktop-icons@csoriano
[email protected]
[email protected]
[email protected]
mridul@mridul-PC:~$ gnome-extensions uninstall [email protected]
mridul@mridul-PC:~$ gnome-extensions list
[email protected]
desktop-icons@csoriano
[email protected]
[email protected]

Edit: Thanks Stephen Kitt for pointing out that this method is not working on system extensions. Though it's working for local extensions. Will look into it and update my answer..

4
  • This won’t help with system extensions, which is the whole point of the question. Commented Sep 22, 2020 at 8:14
  • But the command listed all extension both from /usr/share/gnome-shell/extensions & ~/.local/share/gnome-shell/extensions. Is there any other location where system extensions get saved? Commented Sep 22, 2020 at 12:56
  • Can it uninstall extensions from both? Commented Sep 22, 2020 at 12:56
  • You are right !! This is'nt removing system extensions and not showing any error as well.. Commented Sep 22, 2020 at 13:03
1

Head to https://extensions.gnome.org/local. Install the Chrome / Firefox native connector for GNOME Extensions, and then you will see your GNOME extensions listed on that page. From there you can remove them and configure them without deleting files manually.

0

its simple , had the same problem, use yum to list the installed packages:

sudo yum list installed gnome-shell*

look to the particular extension in the installed packages and remove:

sudo yum remove <your extension>

Log out and log in

0

The one which worked for me was to uninstall the package called gnome-shell-extensions.

I use arch linux so I did sudo pacman -Rns gnome-shell-extensions.

Those who use other than arch linux, please edit the answer and add the command for their distro.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .