Je sais comment aller sur le site https://extensions.gnome.org/ et télécharger des extensions gnome-shell, mais maintenant je dois installer certaines extensions disponibles sur un ordinateur sans aucun accès à Internet. C'est dans un réseau d'entreprise interne et il n'y a aucun moyen que je puisse obtenir un accès Internet extérieur, donc je dois trouver un autre moyen. Je peux copier des fichiers sur un disque USB.
Sur mon ordinateur personnel, j'ai trouvé mes extensions dans ~ / .local / share / gnome-shell / extensions / mais simplement copier ce dossier sur l'ordinateur d'entreprise cible n'a pas fait l'affaire.
L'exécution de gnome-tweak-tool me donne un bouton "Installer l'extension Shell" mais je ne sais pas comment télécharger une extension dans un format acceptable pour l'installation à l'aide de ce bouton. J'ai essayé de pointer vers le dossier ci-dessus mais cela n'a pas fonctionné non plus.
Qu'est-ce que je dois faire?