Я собирался удалить несколько расширений gnome со своего рабочего стола, поэтому на https: / /extensions.gnome. org / (вероятно, стандартный способ). Сначала мне нужно было обновить его (кнопка удаления недоступна перед обновлением), а затем удалить. Все выглядело нормально, оно было удалено из списка установленных, а его компоненты были удалены с моего рабочего стола.
Однако после перезагрузки расширения снова вернулись. И еще раз прошу обновить. Как удалить полностью? Where are extensions stored? They are not listed in ~/.local/share/gnome-shell/extensions/ but still active and its components shown on desktop after reboot...
thank you
Похоже, эти расширения были установлены глобально в / usr / share / gnome-shell / extensions /
Это неприятно, но мне пришлось вручную удалить их там ...