Como instalar extensões de shell do gnome offline?

23

Sei como acessar o site https://extensions.gnome.org/ e baixar as extensões gnome-shell, mas agora preciso instalar algumas extensões disponíveis no computador sem acesso à Internet. Ele está em uma rede corporativa interna e não há como obter acesso externo à Internet, portanto, devo encontrar outro caminho. Eu posso copiar arquivos em um disco USB.

No meu computador doméstico, encontrei minhas extensões em ~ / .local / share / gnome-shell / extensions / mas copiar esta pasta para o computador corporativo de destino não foi suficiente.

A execução do gnome-tweak-tool me dá o botão "Instalar extensão do shell", mas não sei como baixar uma extensão em um formato aceitável para instalação usando esse botão. Tentei apontar para a pasta acima, mas também não funcionou.

O que eu preciso fazer?

nosklo
fonte

Respostas:

23

Você está quase lá. Depois de:

  1. copiar a pasta no ~/.local/share/gnome-shell/extensions/
  2. basta reiniciar o Gnome Shell: Alt+ F2-> R-> Enter

e a extensão deve aparecer na gnome-tweaksferramenta (reinicie essa também).

tm_lv
fonte