Veja como fazer com que uma extensão funcione em uma versão do Gnome Shell.
Normalmente, você pode fazer o download das extensões como zips. Procure o link do github na página de extensão relevante:
PressioneDownloaddoZip:
e extraia o arquivo zip em ~/.local/share/gnome-shell/extensions
.
Olhe dentro da pasta extraída para o arquivo metadata.json
:
eedite-oemumeditordetexto:
adicione esta linha dentro dos parênteses da "versão shell", com a versão do seu shell.:
[3.5],
e,emseguida,selecioneecopieoUUID,salveesaiadoeditordetexto.
Voltepara~/.local/share/gnome-shell/extensions
erenomeieapastaquevocêacaboudeextrairparaoUUIDcopiado-Cliquecomobotãodireito>Renomear>Cole(Ctrl+V).
Vocêdeveterapossibilidadedeativá-lona
Espero que isso funcione - parece funcionar para o Gnome 3.8 & amp; 3,10