Différences
Ci-dessous, les différences entre deux révisions de la page.
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 extensions. Ce 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 === |