Desativei todas as extensões do gnome com o Gnome Tweak Tool clicando no botão que aparece no topo de todas as listas de extensões para desativar todas elas com um clique. Agora tudo está desabilitado e o botão na parte superior também desapareceu. Tentei reiniciar, mas a ferramenta de ajuste ainda não permite mais reativar nenhuma extensão:
Eu também tentei comhttps://extensions.gnome.org/local/mas mesmo reativá-los manualmente (clicando no botão liga/desliga) funciona. A chave mostra "ligado", mas a extensão não está realmente habilitada. Recarregar a página mostra tudo desligado.
Responder1
... ok, descobri como resolver isso.
dconf-editor
/org/gnome/shell/disable-user-extensions <- false
Parece que aquela ferramenta de ajuste tem um bug...