Acabei de fazer uma instalação mínima do OpenSUSE 13.1, incluindo gnome-shell3.10.1. [Longo discurso frustrado excluído] Não consigo fazer com que as extensões do shell do GNOME funcionem.
Inicialmente, quando fui ao site de extensões, não consegui instalar nada. Eventualmente descobri o gnome-shell-browser-pluginpacote secreto e não documentado. Depois de instalado, o pequeno botão liga/desliga agora aparece no site. No entanto, quando eu mudo para Ligado, nada acontece. E se eu sair da página e voltar novamente, ela voltará para Desativado.
Quem eu tenho que matar para que isso realmente funcione de novo?