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 Les deux révisions suivantes | ||
|
extensions-gnome [Le 22/02/2022, 21:38] zococo [Fonctionnement] |
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 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 === | ||