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:29]
Coeur Noir [Activation et paramétrage des extensions installées]
extensions-gnome [Le 11/09/2022, 11:33]
moths-art Suppression des espaces en fin de ligne (détecté et corrigé via le bot wiki-corrector (https://forum.ubuntu-fr.org/viewtopic.php?id=2067892)
Ligne 23: Ligne 23:
  
 ^ 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. |
  
 ===== Installer depuis le catalogue en ligne ===== ===== Installer depuis le catalogue en ligne =====
Ligne 37: Ligne 37:
 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 51:
 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 117:
 \\ \\
     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.\\ <note important>​L'​installation de certaines extensions nécessitera de quitter/​relancer la session pour les rendre effectives.\\
Ligne 87: Ligne 141:
 === Supportées par GNOME === === Supportées par GNOME ===
  
-Les développeurs de GNOME proposent une douzaine d'​extensions réunies dans un seul paquet depuis GNOME 3.4 (donc depuis Ubuntu 11.04). ​+Les développeurs de GNOME proposent une douzaine d'​extensions réunies dans un seul paquet depuis GNOME 3.4 (donc depuis Ubuntu 11.04).
  
 <​note>​Si elles ne sont pas présentes par défaut, on peut installer ces extensions officielles en [[:​tutoriel:​comment_installer_un_paquet|installant le paquet]] [[apt>​gnome-shell-extensions]]. <​note>​Si elles ne sont pas présentes par défaut, on peut installer ces extensions officielles en [[:​tutoriel:​comment_installer_un_paquet|installant le paquet]] [[apt>​gnome-shell-extensions]].
Ligne 192: Ligne 246:
  
 ^ Extension ^ Description ^ Versions ^ ^ Extension ^ Description ^ Versions ^
-^ [[https://​extensions.gnome.org/​extension/​104/​netspeed/​|Netspeed]] | Affiche la vitesse des transferts dans le panel. | 14.04 à 18.04 | +^ [[https://​extensions.gnome.org/​extension/​104/​netspeed/​|Netspeed]] | Affiche la vitesse des transferts dans le panel. | 14.04 à 18.04 |
 ^ [[https://​extensions.gnome.org/​extension/​779/​clipboard-indicator/​|Clipboard Indicator]] | Un gestionnaire de presse-papier avancé et assez paramétrable. | 14.04 à 18.04 | ^ [[https://​extensions.gnome.org/​extension/​779/​clipboard-indicator/​|Clipboard Indicator]] | Un gestionnaire de presse-papier avancé et assez paramétrable. | 14.04 à 18.04 |
 ^ [[https://​extensions.gnome.org/​extension/​750/​openweather/​|Open Weather]] | Affiche la météo dans la barre supérieure,​ avec un menu qui montre les prévisions sur plusieurs jours. | 14.04 à 18.04 | ^ [[https://​extensions.gnome.org/​extension/​750/​openweather/​|Open Weather]] | Affiche la météo dans la barre supérieure,​ avec un menu qui montre les prévisions sur plusieurs jours. | 14.04 à 18.04 |
Ligne 233: Ligne 287:
   * [[:​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