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
Dernière 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 ===
  • extensions-gnome.txt
  • Dernière modification: Le 18/05/2022, 11:40
  • par dpled