Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
extensions-gnome [Le 22/02/2022, 21:38]
zococo [Fonctionnement]
extensions-gnome [Le 18/05/2022, 11:40]
dpled [Fonctionnement] Ajout de la possibilité de repasser Firefox en .deb.
Ligne 38: Ligne 38:
 Ce mécanisme est compatible nativement avec le navigateur [[:​Epiphany|GNOME Web]]. Ce mécanisme est compatible nativement avec le navigateur [[:​Epiphany|GNOME Web]].
  
-<note warning>​Avec Ubuntu ​21.10 le navigateur Firefox est installé par paquet snap or le site officiel ne fonctionne pas avec les navigateurs installés en mode snap, en raison de leur fonctionnement en mode bac à sable (à la date du 21/02/2022). Si vous êtes dans cette situation, généralement détectée par l'​apparition du message"​Bien ​que l'​extension d'​intégration à GNOME Shell soit active, le connecteur de l'​hôte natif n'est pas reconnu" ​sur le site officiel, vous devez installer manuellement les extensionsCe n'est pas très compliqué. Voir ci-dessous ​[[extensions-gnome#​installation_manuelle_des_extensions|ici]]. </​note>​+<note warning>​Avec Ubuntu ​22.04 le navigateur Firefox est installé par paquet snap. Or, le site officiel ne fonctionne pas avec les navigateurs installés en mode snap, en raison de leur fonctionnement en mode bac à sable (à la date du 18 mai 2022). Si vous êtes dans cette situation, généralement détectée par l'​apparition du message ​« Bien ​que l'​extension d'​intégration à GNOME Shell soit active, le connecteur de l'​hôte natif n'est pas reconnu » ​sur le site officiel, vous devez alors soit **[[firefox#​installer_firefox_en_deb_classique_au_lieu_de_snap|remettre Firefox en .deb classique]]** pour bénéficier à nouveau de l’intégration,​ soit [[extensions-gnome#​installation_manuelle_des_extensions|installer manuellement les extensions]], sans pouvoir toutefois profiter de l’interface de l’intégration GNOME/​Firefox. </​note>​
 ==== Intégration au navigateur ==== ==== Intégration au navigateur ====
  
Ligne 73: Ligne 73:
 Cela peut se faire en mode graphique avec un éditeur de texte mais aussi en mode terminal : Cela peut se faire en mode graphique avec un éditeur de texte mais aussi en mode terminal :
 <​code>​ <​code>​
-cat ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension/​metadata.json ​| grep uuid+grep uuid ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension/​metadata.json
   "​uuid":​ "​mon-extension@hkjh.kl",​   "​uuid":​ "​mon-extension@hkjh.kl",​
   mv ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension/​ ~/​.local/​share/​gnome-shell/​extensions/​mon-extension@hkjh.kl   mv ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension/​ ~/​.local/​share/​gnome-shell/​extensions/​mon-extension@hkjh.kl
Ligne 79: Ligne 79:
 voire, pour les plus hardis : voire, pour les plus hardis :
 <​code>​ <​code>​
-$ mv ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension/​ ~/​.local/​share/​gnome-shell/​extensions/​$(cat ~/​.local/​share/​gnome-shell/extensions/NomDeLExtension/​metadata.json | grep uuid | sed 's/"​uuid":​ "// ; s/",$// ; s/^[ \t]*//;s/[ \t]*$//')+$ mv ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension/​ ~/​.local/​share/​gnome-shell/​extensions/​$(sed -nr '/uuid/s/^[ \t]*"​uuid":​ "([^"​]*)",[ \t]*$/\1/p' ~/.local/share/gnome-shell/​extensions/​NomDeLExtension/​metadata.json)
 </​code>​ </​code>​
 === redémarrer le système === === redémarrer le système ===
  • extensions-gnome.txt
  • Dernière modification: Le 18/05/2022, 11:40
  • par dpled