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
Prochaine révision Les deux révisions suivantes
extensions-gnome [Le 11/04/2021, 00:09]
Coeur Noir [Activation et paramétrage des extensions installées]
extensions-gnome [Le 08/09/2022, 02:27]
Coeur Noir [Fonctionnement]
Ligne 1: Ligne 1:
 +
 {{tag>​Trusty Xenial Bionic portail GNOME environnements personnalisation}} {{tag>​Trusty Xenial Bionic portail GNOME environnements personnalisation}}
  
Ligne 23: Ligne 24:
  
 ^ Exemples ^^^ ^ Exemples ^^^
-| {{ http://​i.imgur.com/​McqqrZg.png?​250|Exemple 1 }} | {{ http://​www.omgubuntu.co.uk/​wp-content/​uploads/​2017/​04/​gnome-shell-look-unity.jpg?​250|Exemple 2 }} | {{ http://​i.imgur.com/​axS9D29.png?​250|Exemple 3 (menu horloge ouvert) }} |+| {{ https://​i.imgur.com/​McqqrZg.png?​250|Exemple 1 }} | {{ http://​www.omgubuntu.co.uk/​wp-content/​uploads/​2017/​04/​gnome-shell-look-unity.jpg?​250|Exemple 2 }} | {{ http://​i.imgur.com/​axS9D29.png?​250|Exemple 3 (menu horloge ouvert) }} |
 ^ Exemple 1 \\ (interface à la Windows) ^ Exemple 2 \\ (dock vertical) ^ Exemple 3 \\ (dock ; avec menu horloge ouvert) ^ ^ Exemple 1 \\ (interface à la Windows) ^ Exemple 2 \\ (dock vertical) ^ Exemple 3 \\ (dock ; avec menu horloge ouvert) ^
 | **Thème du Shell :** aucun \\ (utilisation d'​Activities Configurator) \\ **Extensions :** \\ - Dash to Panel \\ - Activities Configurator \\ - Places status indicator \\ - Lock Keys Indicator \\ - Clipboard Indicator ​ \\ - Caffeine | **Thème du Shell :** United-Ubuntu \\ **Extensions :** \\ - Pixel Saver \\ - Dash to Dock \\ - Gnome Global Menu \\ - Topicons Plus \\ - App Indicator Support \\ - Move Clock \\ - etc. | **Thème du Shell :** Vertex \\ **Extensions :** \\ - User Theme \\ - Dash to Dock \\ - Places status indicator \\ - Lock Keys Indicator \\ - Clipboard Indicator \\ - Emoji Selector \\ - Caffeine \\ - etc. |  | **Thème du Shell :** aucun \\ (utilisation d'​Activities Configurator) \\ **Extensions :** \\ - Dash to Panel \\ - Activities Configurator \\ - Places status indicator \\ - Lock Keys Indicator \\ - Clipboard Indicator ​ \\ - Caffeine | **Thème du Shell :** United-Ubuntu \\ **Extensions :** \\ - Pixel Saver \\ - Dash to Dock \\ - Gnome Global Menu \\ - Topicons Plus \\ - App Indicator Support \\ - Move Clock \\ - etc. | **Thème du Shell :** Vertex \\ **Extensions :** \\ - User Theme \\ - Dash to Dock \\ - Places status indicator \\ - Lock Keys Indicator \\ - Clipboard Indicator \\ - Emoji Selector \\ - Caffeine \\ - etc. | 
Ligne 37: 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 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>​
 +<note tip>En même temps, sous 22.04 aucun navigateur web n'est nécessaire pour gérer les extensions gnome-shell,​ il y a dorénavant un utilitaire dédié dans les dépôts : **[[apt>​gnome-shell-extension-manager]]** et son [[https://​github.com/​mjakeman/​extension-manager|github]].</​note>​
 ==== Intégration au navigateur ==== ==== Intégration au navigateur ====
  
Ligne 49: Ligne 52:
 Le but du site officiel //​extensions.gnome.org//​ est de proposer des extensions dont le code a été lu et compris par des responsables liés à la fondation GNOME : les extensions proposées présentent donc rarement des bugs majeurs, et sont normalement dignes de confiance. Le but du site officiel //​extensions.gnome.org//​ est de proposer des extensions dont le code a été lu et compris par des responsables liés à la fondation GNOME : les extensions proposées présentent donc rarement des bugs majeurs, et sont normalement dignes de confiance.
  
 +==== Installation manuelle des extensions ====
 +
 +Si l'​installation depuis le site officiel ne fonctionne pas (par exemple avec Ubuntu 21.10 si vous obtenez le 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), il est possible procéder à une installation manuelle en procédant ainsi :
 +
 +=== Installer le paquet gnome-shell-extensions ==
 +Lors de la première installation manuelle d'une extension Gnome, il est nécessaire d'​installer le paquet gnome-shell-extensions,​ soit en mode graphique (logithèque,​ Synaptic), soit en ligne de commande :
 +<​code>​$ sudo apt install gnome-shell-extensions</​code>​
 +Bien entendu lors des installations ultérieures d'​extensions,​ il ne sera pas nécessaire d'​installer le paquet puisque celui-ci sera déjà présent.
 +
 +=== Télécharger le fichier *.zip de l'​extension depuis le site officiel ===
 +Première étape, se rendre sur le site [[extensions.gnome.org]] et choisir une extension, sélectionner la version de Gnome et celle de l'​extension. Le téléchargement se lance, enregistrer le fichier sur le disque.
 +{{ ::​gnome-usage:​ capture_d_ecran_du_2022-02-22_20-44-17.png?​direct&​400 |}}
 +
 +=== Extraire le répertoire zip dans ~.local/​share/​gnome-shell/​extensions ===
 +Le fichier zip téléchargé doit être décompressé (c'est un répertoire) et déplacé dans le répertoire .local/​share/​gnome-shell/​extensions de l'​utilisateur. Soit en mode terminal :
 +<​code>​
 +unzip -d ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension Téléchargements/​NomDeLExtension.zip ​
 +</​code>​
 +=== Ouvrir le fichier metadata.json et copier le nom officiel de l'​extension ===
 +À l'​intérieur du répertoire ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension,​ récupérer l'uuid exacte de l'​extension et renommer ainsi le répertoire de l'​extension.
 +Cela peut se faire en mode graphique avec un éditeur de texte mais aussi en mode terminal :
 +<​code>​
 +$ grep uuid ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension/​metadata.json
 +  "​uuid":​ "​mon-extension@hkjh.kl",​
 +  mv ~/​.local/​share/​gnome-shell/​extensions/​NomDeLExtension/​ ~/​.local/​share/​gnome-shell/​extensions/​mon-extension@hkjh.kl
 +</​code>​
 +voire, pour les plus hardis :
 +<​code>​
 +$ 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>​
 +=== redémarrer le système ===
 +C'est l'​opération la moins conviviale de cette méthode : il faut redémarrer Gnome. Le plus simple est de redémarrer le système.
 +
 +=== Ouvrir gnome-extensions ===
 +Dernière opération, après avoir redémarré le système et s'​être connecté : activer l'​extension.
 +== En mode graphique ==
 +Ouvrir l'​application Gnome extensions (appelée Extensions) :
 +
 +{{ ::​capture_d_ecran_de_2022-02-22_21-15-24.png?​direct&​400 |}}
 +
 +Puis activer l'​extension dans l'​application :
 +
 +{{ ::​capture_d_ecran_de_2022-02-22_21-15-45.png?​direct&​400 |}}
 +== En ligne de commande ==
 +Seule contrainte : avoir correctement noté le nom de l'​extension.
 +<​code>​
 +$ gnome-extensions enable mon-extension@hkjh.kl
 +</​code>​
 ==== Logithèque ==== ==== Logithèque ====
  
Ligne 67: Ligne 118:
 \\ \\
     sudo apt install chrome-gnome-shell gnome-shell-extension-prefs gnome-tweaks     sudo apt install chrome-gnome-shell gnome-shell-extension-prefs gnome-tweaks
 +    ​
 +Notez également que l'​extension //​chrome-gnome-shell//​ **ne peut pas fonctionner dans les navigateurs web au format snap**\\
 +\\
 +**À partir de 22.04**, il existe un utilitaire dédié pour gérer ces extensions **[[apt>​gnome-shell-extension-manager]]** qui permet de se passer des navigateurs web pour accomplir cette tâche.
 </​note>​ </​note>​
 +<note important>​L'​installation de certaines extensions nécessitera de quitter/​relancer la session pour les rendre effectives.\\
 +Ou relancer //​gnome-shell//​ via\\
 +[ **alt** ] + [ **F2** ] → tapez **r** → puis **entrée** </​note>​
     ​     ​
  
Ligne 230: Ligne 288:
   * [[:​gnome-tweak-tool]]   * [[:​gnome-tweak-tool]]
   * [[:​epiphany|GNOME Web]]   * [[:​epiphany|GNOME Web]]
 +  * (en) [[https://​www.debugpoint.com/​2021/​10/​manual-installation-gnome-extension/​|Tutoriel : Manual Installation of GNOME Extension from ZIP File [Easy Steps]]]
   ​   ​
  • extensions-gnome.txt
  • Dernière modification: Le 28/11/2023, 16:50
  • par 83.197.0.156