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?