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

16

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

    
задан MorganSBailey 02.05.2013 в 14:02
источник

2 ответа

13

Из страницы оболочки Gnome В ней говорится:

  

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

     

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

Итак, You'll Be Fine удаляет расширение в ~/.local/share/gnome-shell/extensions вручную.     

ответ дан Achu 02.05.2013 в 14:16
источник
4

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

    
ответ дан MorganSBailey 02.05.2013 в 15:03