Не могу установить расширения gnome, свежие 20.04

Не могу установить расширения gnome, свежие 20.04

Когда открываю extensions.gnome.org и открываю любое расширение, я могу нажать кнопку вкл/выкл. Он переключается, но ничего не происходит, сообщение об установке не выскакивает. Раньше, год назад, на других машинах с 20.04 все было нормально.

P.S. Я установил gnome-extensions, chrome-gnome-extensions, gnome-tweaks. Пробовал chrome и firefox и установил нужные расширения и их.

PPS Оказывается, расширения можно довольно просто установить вручную:https://itsfoss.com/gnome-shell-extensions/

решение1

Нажмите Alt+ F2(откроется панель GNOME). Введите rв приглашение (чтобы перезапустить GNOME) и нажмите Enter.

Попробуйте нажать кнопку ВКЛ на сайте, теперь это должно сработать, и установите расширение.

Объяснение (мое предположение)

Пользовательский интерфейс (загруженный в память) не реагирует на обновления (на диске). Ему нужен пинок. Перезапуск — это "пинок".

Связанный контент