Я пытаюсь отключить следующие расширения через инструмент тонкой настройки
https://extensions.gnome.org/extension/545/hide-top-bar/ https://extensions.gnome.org/extension/517/caffeine/
Но не работа. Им повторно включают автоматически (когда я вновь открыл инструмент тонкой настройки, они вернулись). После отключения от инструмента тонкой настройки я обновил оболочку Gnome также. Тем не менее они становятся включенными снова. Я попробовал другими расширениями. Немногие становятся отключенными, и немногие не. Какова могла бы быть проблема?
PS: теперь даже удаление не работает. Я попробовал различные пути - удаленный из тонкой настройки, взял, удаленные расширения вручную от ~/.local/share/gnome-shell/extensions каталог. Они становятся удаленными сначала и затем система onreboot, или назад от резервного устройства я получаю многочисленные подсказки, спрашивающие "Установку расширение", как будто я на самом деле пытаюсь установить расширение и даже когда я нажимаю отмену, расширения становятся установленными снова автоматически через несколько секунд/минут!!!!
Используя Ubuntu Gnome 16.04, 3.20.4 версии оболочки