Как полностью удалить расширение оболочки гнома?

26

Я использую gnome-shell 3.4.1 под Ubuntu 12.04. Я пробовал различные расширения с http://extensions.gnome.org, и теперь я хочу полностью удалить некоторые, особенно, чтобы они не занимали места в Gnome Tweak Tool.
Безопасно ли просто удалить папку с расширением ~/.local/share/gnome-shell/extensions/?

12.04 gnome gnome-shell gnome-shell-extension MorganSBailey
источник

Ответы:

23

На странице оболочки Gnome написано:

Есть некоторые ошибки, GNOME 3.2которые мешали удалению работать должным образом для некоторых расширений. GNOME Shell 3.2.2.1 исправила эти проблемы. Убедитесь, что ваша система полностью обновлена, если у вас возникли проблемы с удалением расширений.

Если у вас нет GNOME Shell 3.2.2.1 и вы не можете его получить или не уверены, вы можете удалить расширение вручную. Удалите каталог расширения и перезапустите оболочку. Расширение должно храниться в ~/.local/share/gnome-shell/extensions. Удаление каталога будет недостаточно: вам нужно будет перезапустить командную консоль, чтобы убедиться, что расширение полностью удалено: откройте диалог запуска с помощью Alt + F2 и введите restart.

Таким образом, вы будете в порядке, удалив расширение под ~/.local/share/gnome-shell/extensionsвручную.

Ачу
источник
3
Это говорит о том, что в версиях после 3.2.2.1 существует определенный процесс удаления (кроме удаления папки вручную и перезапуска), который, однако, не указан. В любом случае, спасибо.
MorganSBailey
2
Я удалил папку некоторых расширений, но некоторые из них возвращаются снова после перезагрузки !!! (т. е. меню приложений, AlternateTab и т. д.)
Рахмани
2
@Rahmani, если у вас все еще есть эта проблема: посмотрите /usr/share/gnome-shell/extensions/. Очевидно, некоторые расширения установлены в масштабе всей системы и, по крайней мере, в моем случае они не были удалены веб-сайтом.
Штеффен Винклер
1
@SteffenWinkler спасибо, все работает отлично. Я не знал, что это установлено для всей системы
ismailsunni
11

ОК, нашел это. В https://extensions.gnome.org перейдите в раздел Installed extensions, где рядом с каждым расширением, которое его удаляет, находится кнопка X. Как упоминалось в предыдущем ответе, это работает только после версии 3.2.2.1.

введите описание изображения здесь

MorganSBailey
источник
11
Это не всегда работает ...
Уилф
Я удаляю расширение с этой страницы, но некоторые из них возвращаются после перезагрузки !!! (т. е. меню приложений, AlternateTab и т. д.)
Рахмани
@Rahmani - оба являются расширениями от fmuellner extensions.gnome.org/accounts/profile/fmuellner ... Я скачал его расширение «Настройки пользователя» и добавил несколько других его расширений. Теперь я не могу удалить ни одного из них.
guttermonk
4

Кажется, что расширения вида 'fmuellner' хранятся в каталоге "/ usr / share / gnome-shell / extensions /", а другие расширения хранятся в каталоге "~ / .local / share / gnome-shell / extensions". У меня тоже была эта проблема раньше. Я решил это, удалив эти каталоги и перезагрузив компьютер. Вы не можете удалить их из файлового браузера или проводника. Таким образом, права суперпользователя необходимы для их удаления. Используйте следующую команду в терминале. $ sudo rm -r /usr/share/gnome-shell/extensions/ $ sudo rm -r ~/.local/share/gnome-shell/extensions/

а затем перезагрузить компьютер из графического интерфейса или вы можете использовать $ sudo init 6

Осторожно, чтобы не удалить другие каталоги по ошибке. Вышеуказанное исправление сработало для меня. Надеюсь, это поможет.

prasad_myway
источник