I've got a little issue with gnome shell extensions. After installing some of them, I understood I didn't like them and decided to remove them. The extensions themselves (their folders in /home/username/.local/share/gnome-shell/extensions
) were deleted successfully. However, the deleted extensions were not removed from the list of installed extensions at extensions.gnome.org. They also were not removed from the list in gnome-tweak-tool.
So now in my list I have a bunch of extensions that I have already deleted. The funny thing is that I can't reinstall them too, since both the gnome-tweak-tool and the website think they are still there. This isn't a big deal of course, but I find it a little annoying.
Reinstalling gnome-tweak-tool didn't help.
Is there a way to somehow update the status of installed extensions?
Best Answer
How to remove one or all Gnome-shell extension(s) completely
Open terminal: (from app menu or by pressing Ctrl+Alt+T)
Then type: sudo su - and type your password and press enter
then type this command:
then type this command to see all your installed extensions: ls
then type this command to remove each or extension you really want to remove it completely:
for example : rm -r dash-to-dock@yyy.gmail.com/
and press : Alt+F2 then type “r” yes simple just one r
Ok it done.
You can check extensions.gnome.org to be sure about this.