Comment installer les extensions shell gnome hors ligne?


23

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?

Réponses:


23

Tu es presque là. Après:

  1. copie du dossier dans le ~/.local/share/gnome-shell/extensions/
  2. redémarrez simplement Gnome Shell: Alt+ F2-> R-> Enter

et l'extension devrait apparaître dans l' gnome-tweaksoutil (redémarrez celui-ci également).

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.