No se pueden instalar extensiones de gnome, nueva versión 20.04

No se pueden instalar extensiones de gnome, nueva versión 20.04

Cuando abro extensions.gnome.org y abro cualquier extensión, puedo presionar el botón de encendido/apagado. Cambia pero no pasa nada, no aparece ningún mensaje emergente sobre la instalación. Anteriormente, hace un año, en otras máquinas con 20.04, todo estaba bien.

PD: instalo gnome-extensions, chrome-gnome-extensions, gnome-tweaks. Probé Chrome y Firefox e instalé las extensiones necesarias.

PPS Resulta que las extensiones se pueden instalar manualmente con bastante facilidad:https://itsfoss.com/gnome-shell-extensions/

Respuesta1

Presione Alt+ F2(esto abre el panel de GNOME). Ingrese rel mensaje (para reiniciar GNOME) y presione Enter.

Intente presionar ON en el sitio web, esto debería funcionar ahora e instalar la extensión.

Explicación (mi suposición)

La interfaz de usuario (cargada en la memoria) no responde a las actualizaciones (en el disco). Necesita una patada. Reiniciar es una "patada".

información relacionada