Как удалить расширения GNOME?
Ubuntu 17.10 (xorg), gnome 3.26.2, установлен инструмент настройки. Я установил gnome-shell-extensions, chrome-gnome-shell и надстройка веб-браузера gnome-shell-integration.
В инструменте настройки, под расширениями, я вижу все расширения, которые я скачал и установил с https://extensions.gnome.org.
Я не вижу никаких кнопок (красный «X») рядом с каждым расширением в инструменте настройки, чтобы удалить отдельное расширение. Это по дизайну? Единственный способ удалить расширение - это перейти на https://extensions.gnome.org через веб-браузер? Я также не вижу в инструменте настройки кнопки или гиперссылки, которые откроют https://extensions.gnome.org. Это также по дизайну?1
задан muru
29 January 2018 в 10:42
поделиться
2 ответа
Кажется, что опция удаления расширений из GNOME Tweaks удалена.
Вы можете просто удалить папку, связанную с определенным расширением, из ~/.local/share/gnome-shell/extensions, чтобы удалить расширение.
1
ответ дан pomsky
17 July 2018 в 22:02
поделиться
Кажется, что опция удаления расширений из GNOME Tweaks удалена.
Вы можете просто удалить папку, связанную с определенным расширением, из ~/.local/share/gnome-shell/extensions, чтобы удалить расширение.
1
ответ дан pomsky
23 July 2018 в 22:38
поделиться
-
1Спасибо, помцкий. Однако ..... у меня есть больше расширений, перечисленных в инструменте Tweak, чем в папке есть папки. Пример. У меня есть расширение под названием Alternatetab, появившееся в Tweak Tool Extensions (я отключил его). Тем не менее, нет папки для нее в ~ / .local / share / gnome-shell / extensions. – dln949 31 January 2018 в 03:55
-
2@ dln949 Это системные расширения, установленные по умолчанию. Вы найдете их в /usr/share/gnome-shell/extensions/ (я бы не рекомендовал удалять эти системные папки, просто деактивируйте те, которые вам не нужны). – pomsky 31 January 2018 в 03:58