Ubuntu 17.10 (Xorg), гном 3.26.2, настраивает установленный инструмент. Я установил gnome-shell-extensions
, chrome-gnome-shell
, и дополнение веб-браузера gnome-shell-integration
.
В инструменте тонкой настройки, при расширениях, я вижу все расширения, которые я загрузил и установил от https://extensions.gnome.org.
Кажется, что опция удалить расширения от Тонких настроек GNOME удалена.
Можно просто удалить папку, связанную с конкретным расширением от ~/.local/share/gnome-shell/extensions
для удаления расширения.
Какие работы для меня: Я не могу удалить несколько "ложных" расширений и других, которые показывают ошибку в Тонких настройках Gnome и в Хранилище Ubuntu. Также, они не показывают соответствующую папку в home/share/gnome-shell/extensions
Однако в Firefox Quantum 68 после установки Дополнения я могу удалить эти расширения. Chrome не сделал задания для меня...
Дистрибутив: Ubuntu 19.04 Gnome 3.32