Comment installer des extensions gnome Shell hors ligne?
Je sais comment aller sur le site https://extensions.gnome.org/ et télécharger les extensions gnome-Shell, mais je dois maintenant installer certaines extensions disponibles sur un ordinateur sans accès à Internet à l'adresse tout. Il se trouve dans un réseau d'entreprise interne et je ne peux absolument pas accéder à Internet en dehors de ce réseau. Je dois donc 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 la copie de ce dossier sur l'ordinateur d'entreprise cible n'a pas suffi.
L'exécution de gnome-Tweak-tool me donne un bouton "Installer une 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?
Tu es presque là. Après:
- copier le dossier dans le
~/.local/share/gnome-Shell/extensions/ - il suffit de redémarrer Gnome Shell: Alt+F2 -> R -> Enter
et l'extension doit apparaître dans l'outil gnome-tweaks (redémarrez-le également).