Arch Linux

kurt

Member

Registered: 2009-09-06

Posts: 140

[Solved] GNOME - Problems with Shell Extensions

I thought I would give gnome a try. So far so good apart from gnome-shell-extensions.

In tweak tool and when I go to https://extensions.gnome.org/ they both say I have a lot of extensions installed that I don't. The remove in tweak tool and the red X on the extension page do not remove them.

I have only installed 3 extensions and in /home/xxxxxxx/.local/share/gnome-shell/extensions there are only the 3 folders for the extentions I have installed.

I "THINK" this is because I installed gnome-shell-extensions. I have since removed this package but still the entries remain. How do I remove them from tweak tool and the extension webpage.

Cheers

Last edited by kurt (2016-11-16 10:11:11)

kurt

Member

Registered: 2009-09-06

Posts: 140

Re: [Solved] GNOME - Problems with Shell Extensions

My bad. It was the gnome-shell-extensions package but I needed to restart gnome shell for the ghost extensions to be removed.