So come visitare il sito Web https://extensions.gnome.org/ e scaricare le estensioni gnome-shell, ma ora devo installare alcune estensioni disponibili lì su un computer senza alcun accesso a Internet. Si trova in una rete aziendale interna e non c'è modo di ottenere l'accesso a Internet esterno su di essa, quindi devo trovare un altro modo. Posso copiare i file su un disco USB.
Sul mio computer di casa, ho trovato le mie estensioni su ~ / .local / share / gnome-shell / extensions / ma semplicemente copiare questa cartella sul computer aziendale di destinazione non ha funzionato.
L'esecuzione di gnome-tweak-tool mi dà un pulsante "Installa estensione shell" ma non so come scaricare un'estensione in un formato accettabile per l'installazione usando questo pulsante. Ho provato a indicare la cartella sopra ma non ha funzionato neanche.
Cosa devo fare?