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 Prochaine révision Les deux révisions suivantes | ||
|
extensions-gnome [Le 22/02/2022, 21:35] zococo [Voir aussi] |
extensions-gnome [Le 26/04/2022, 07:01] 91.175.17.176 [Installation manuelle des extensions] 2.3.4 Ouvrir le fichier metadata.json et copier le nom officiel de l'extension → UUOC |
||
|---|---|---|---|
| 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 [[[[#installation_manuelle_des_extensions|ici]]. </note> | + | <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> |
| ==== 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 === | ||