Korzystam z gnome-shell 3.4.1 na Ubuntu 12.04. Próbowałem różnych rozszerzeń z http://extensions.gnome.org i teraz chcę je całkowicie usunąć, szczególnie, aby nie zajmowały miejsca w Gnome Tweak Tool.
Czy bezpiecznie jest po prostu usunąć folder rozszerzenia ~/.local/share/gnome-shell/extensions/
?