Não é possível instalar extensões do gnome, novo 20.04

Não é possível instalar extensões do gnome, novo 20.04

Ao abrir extensions.gnome.org e abrir qualquer extensão, posso pressionar o botão liga/desliga. Ele muda, mas nada acontece, nenhuma mensagem sobre a instalação aparece. Anteriormente, há um ano, em outras máquinas com 20.04, estava tudo bem.

PS Eu instalo extensões gnome, extensões chrome-gnome, gnome-tweaks. Tentei o Chrome e o Firefox e instalei as extensões necessárias e eles.

PPS Acontece que as extensões podem ser instaladas manualmente com bastante facilidade:https://itsfoss.com/gnome-shell-extensions/

Responder1

Pressione Alt+ F2(isso abre o painel do GNOME). Entre rno prompt (para reiniciar o GNOME) e pressione Enter.

Tente clicar em ON no site, isso deve funcionar agora e instale a extensão.

Explicação (meu palpite)

A UI (carregada na memória) não responde às atualizações (no disco). Precisa de um chute. Reiniciar é um “chute”.

informação relacionada