Я отключил все расширения gnome с помощью Gnome Tweak Tool, нажав на переключатель, который появляется над списком всех расширений, чтобы отключить их все одним щелчком. Теперь все отключено, и переключатель сверху тоже исчез. Я попробовал перезагрузиться, но инструмент настройки по-прежнему не позволяет повторно включать какие-либо расширения:
Я также пробовал сhttps://extensions.gnome.org/local/но даже повторное включение их вручную (щелчком по переключателю вкл/выкл) работает. Переключатель показывает "вкл", но расширение на самом деле не включено. Перезагрузка страницы показывает все выключено.
решение1
...хорошо, я нашел, как это решить.
dconf-editor
/org/gnome/shell/disable-user-extensions <- false
Похоже, в этом инструменте настройки есть ошибка...