Как полностью удалить расширение оболочки gnome?
Я запускаю gnome-shell 3.4.1 под Ubuntu 12.04. Я тестировал различные расширения из http://extensions.gnome.org, и теперь я хочу полностью удалить некоторые, особенно, так как они не занимают места в Gnome Tweak Tool. Безопасно ли просто удалять папку расширения под ~/.local/share/gnome-shell/extensions/?
1
задан MorganSBailey
2 May 2013 в 17:17
поделиться
1 ответ
ОК, нашел. В https://extensions.gnome.org перейдите в раздел Installed extensions, где рядом с каждым расширением есть кнопка X, которая удаляет ее. Как упоминалось в предыдущем ответе, это работает только после версии 3.2.2.1.
5
ответ дан MorganSBailey
24 May 2018 в 22:47
поделиться
-
1Это не всегда работает ... – Wilf 8 November 2013 в 00:53
-
2Я удаляю расширение с этой страницы, но некоторые из них возвращаются после перезагрузки !!! (например, меню приложения, AlternateTab и т. д.) – Rahmani 3 December 2017 в 13:03
-
3@Rahmani. Это оба расширения fmuellner extensions.gnome.org/accounts/profile/fmuellner ... Я загрузил его расширение «Настройки пользователя» и добавил кучу других расширений. Теперь я не могу удалить ни одного из них. – guttermonk 2 May 2018 в 03:53