Estou tentando instalar extensões Gnome Shell do plugin Firefox no Ubuntu 20.04. Segui todos os passos descritos poreste guia, mas quando mudo o botão de instalação para "ligado", nada acontece. A janela “baixar e instalar” (como na etapa 10 deste guia) não aparece e quando recarrego a página, o botão diz “desligado” novamente.
Eu instalei o gnome-shell-extensions
plugin chrome-gnome-shell
Shell-Integration Firefox. Eu também fiz login novamente em minha sessão. As extensões são ativadas no menu Tweaks e Configurações de extensões. Eu tentei várias extensões. Alguma idéia do que poderia impedir a exibição da janela "baixar e instalar"? Poderia estar relacionado ao proxy que preciso usar para me conectar à Internet?