✎ extensions-gnome [Wiki ubuntu-fr]

Vous affichez une ancienne révision du document ! Si vous l'enregistrez, vous créerez une nouvelle version avec ce contenu.

{{tag>Trusty Xenial Bionic portail GNOME environnements personnalisation}}

-----

{{ :variantes:gnome_shell:gnome-icon.png?80|Icone}}
====== Extensions GNOME Shell ======

Le bureau [[:gnome-shell|GNOME Shell]] se complète avec des extensions bien utiles écrites en JavaScript. Ces extensions vous permettent d'**ajouter/supprimer/modifier des fonctionnalités de l'interface** : barre de tâches, dock, gestionnaire de presse-papiers, menus pour les emplacements favoris ou les applications, etc.

Si vous envisagez de faire de GNOME Shell votre environnement principal, alors il est plus que recommandé d'y jeter un coup d’œil.

La session "Ubuntu" présente par défaut depuis [[:artful|Ubuntu 17.10]] utilise par défaut 2 extensions, non désactivables((Référez-vous à la page [[:gnome-shell]] si vous désirez installer une session "vierge" de toute extension afin de personnaliser comme il vous convient.)) :
  * **Ubuntu Dock** fournit un dock latéral ;
  * **Ubuntu AppIndicator** intègre des indicateurs supplémentaires dans la barre supérieure.

===== Exemples d'utilisation des extensions =====

<note>La version présentée ci-dessous est GNOME Shell 3.22 ; le but est juste de montrer les extensions, pas les thèmes ni l'OS.</note>

^ 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) }} |
^ 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. |

===== Installer depuis le catalogue en ligne =====

==== Fonctionnement ====

En dehors des [[#Installer depuis les depots|dépôts de la distribution]], la source d'installation recommandée et à privilégier est le site officiel [[https://extensions.gnome.org|extensions.gnome.org]] : un vaste catalogue d'extensions y est disponible (ci-dessous), vous pouvez également y constater quelles sont les extensions les plus populaires, et y accéder à la liste des extensions présentes sur votre système (onglet "Installed Extensions").

Sur les pages web de chaque extension, grâce à de petits interrupteurs, on peut installer, mettre à jour, activer ou désactiver les extensions proposées directement depuis le site.

Ce mécanisme est compatible nativement avec le navigateur [[:Epiphany|GNOME Web]].

==== Intégration au navigateur ====

Pour le faire fonctionner avec [[:Firefox]] ou [[:chromium-browser|Chromium]], installez le paquet **[[apt>chrome-gnome-shell]]**.
Le [[https://extensions.gnome.org|site]] vous recommandera alors d'installer ou d'activer un plugin ou une extension(([[https://chrome.google.com/webstore/detail/gnome-shell-integration/gphhapmejobijbbhgpjhcjognlahblep?hl=fr|Extension pour Chromium/Chrome/Vivaldi]])). Faites-le, et actualisez la page.

| {{ http://image.noelshack.com/fichiers/2017/17/1493381277-capture-d-ecran-de-2017-04-28-14-07-49.png?400|Le site officiel de GNOME recense l'immense majorité des extensions existantes. }} | {{ http://i.imgur.com/s071v7w.png?350 }} |
^ Liste des extensions sur le site officiel ^ Un interrupteur ON/OFF \\ permet d'activer l'extension ^

<note important>Pour s'assurer de la stabilité du système, pensez à y rechercher des extensions **compatibles avec votre version** de GNOME Shell grâce aux paramètres de recherche du site.</note>

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.

==== Logithèque ====

<note important>Ce n'est pas possible sur toutes les versions.</note>

Avec la **logithèque** ([[:gnome-software|GNOME Logiciels]], qui est la logithèque par défaut sur la variante d'Ubuntu utilisant GNOME Shell), il est aussi possible d'installer de manière sûre les extensions en provenance du site officiel //extensions.gnome.org// sans avoir à utiliser un navigateur.

===== Activation et paramétrage des extensions installées =====

Plusieurs outils permettent de gérer les extensions installées, qui possèdent souvent des options paramétrables :

* **''gnome-shell-extension-prefs''** est l'outil natif de GNOME Shell adapté. Il n'est pas présent parmi la liste des applications, et doit être lancé en ligne de commande ou depuis la fenêtre de lancement "Alt F2".
  * [[:gnome-tweak-tool#Extensions|GNOME Ajustements]] permet de personnaliser de nombreux aspects, dont les extensions.
  * Le site //extensions.gnome.org// (cf. [[#Integration au navigateur|partie précédente]]).

===== Installer depuis les dépôts =====

Ces extensions sont disponibles depuis les dépôts d'Ubuntu.

=== Supportées par Ubuntu ===

L'extension "Ubuntu Dock" (qui transforme le //dash// en un dock paramétrable depuis les paramètres système) et l'extension "Ubuntu Appindicator" (qui fait apparaître les "indicateurs" d'Unity dans le panneau supérieur) sont développées et distribuées sous le contrôle des développeurs de Canonical, et sont disponibles uniquement depuis les dépôts officiels d'Ubuntu, à partir de la version [[17.10]].

<note tip>Ces extensions sont installées ET activées, par défaut, depuis Ubuntu [[:17.10]] (elles ne sont pas disponibles pour les versions précédentes).</note>

Elles s'installent avec les paquets [[apt>gnome-shell-extension-ubuntu-dock]] et [[apt>gnome-shell-extension-appindicator]].

=== 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).

<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]].

Le redémarrage de la session est parfois nécessaire pour que ces extensions deviennent disponibles dans [[:gnome-tweak-tool|l'Outil de Personnalisation GNOME]]. </note>

(Dans les parties qui suivent, ces extensions seront marquées par la mention "Extension officielle".)

=== Autres ===

Ces extensions développées par des contributeurs indépendants sont empaquetées et présentes dans les dépôts :

* [[apt>gnome-shell-extension-autohidetopbar]] Masque automatiquement la barre supérieure.
  * [[apt>gnome-shell-extension-better-volume]] Modifie le fonctionnement du contrôle du volume.
  * [[apt>gnome-shell-extension-caffeine]] Conserve l'ordinateur hors de veille si activé.
  * [[apt>gnome-shell-extension-dash-to-panel]] Fusionne le dash et le panneau supérieur en une unique barre de tâches.
  * [[apt>gnome-shell-extension-dashtodock]] Transforme le dash en un dock latéral paramétrable.
  * [[apt>gnome-shell-extension-hard-disk-led]] Montre l'activité du disque dur.
  * [[apt>gnome-shell-extension-hide-activities]] Cache le bouton "Activités".
  * [[apt>gnome-shell-extension-impatience]] Accélère les animations.
  * [[apt>gnome-shell-extension-mediaplayer]] Ajoute des contrôles médias.
  * [[apt>gnome-shell-extension-move-clock]] Déplace l'horloge.
  * [[apt>gnome-shell-extension-multi-monitors]] Support amélioré pour les écrans multiples.
  * [[apt>gnome-shell-extension-onboard]] Clavier visuel [[onboard|OnBoard]], clavier virtuel plus évolué que celui par défaut.
  * [[apt>gnome-shell-extension-pixelsaver]] Fusionne la barre de titre des fenêtres avec le panneau supérieur.
  * [[apt>gnome-shell-extension-remove-dropdown-arrows]] Retire les icônes en forme de flèches du panneau supérieur.
  * [[apt>gnome-shell-extension-shortcuts]] Affiche un popup d'aide pour les raccourcis clavier.
  * [[apt>gnome-shell-extension-show-ip]] Affiche l'adresse IP.
  * [[apt>gnome-shell-extension-suspend-button]] Modifie le fonctionnement du bouton d'extinction.
  * [[apt>gnome-shell-extension-taskbar]] Une barre de tâches.
  * [[apt>gnome-shell-extension-tilix-dropdown]] Lancer le mode "quake" de [[:Tilix]] depuis GNOME Shell.
  * [[apt>gnome-shell-extension-top-icons-plus]] Ajoute les icônes de la "zone de notifications" au panneau supérieur.
  * [[apt>gnome-shell-extension-trash]] Ajoute la corbeille au panneau supérieur.
  * [[apt>gnome-shell-extension-weather]] Affichage de la météo.

===== Sélection d'extensions =====

Il existe environ 260 extensions disponibles pour GNOME Shell en version 3.22 en ce jour (24 juillet 2017), et environ 900 toutes versions confondues !

Il est parfois dur de s'y retrouver. Aussi, voici un petit florilège de celles qui me paraissent les plus intéressantes, que vous pouvez bien sûr compléter.

<note>Aux contributeurs anonymes du wiki :

**Ce n'est pas un catalogue exhaustif dont le but serait de faire doublon avec le site officiel :**
  * proposez une description claire, et ne faisant pas l'objet d'un article (installation de thèmes, etc.)
  * ne proposez que des extensions dont l'utilité est obvie
  * ne polluez pas la liste avec le moindre machin que vous essayez
  * Ubuntu existe dans d'autres versions que 18.04
  * n'ajoutez pas de colonnes inutiles au tableau : ÉVIDEMMENT QUE LES EXTENSIONS PROPOSÉES FONCTIONNENT !
  * ne faites pas 36 enregistrements par jour, ça rend l'historique illisible
  * l'intérêt de les référencer en français, c'est que ce soit en français, donc "la top bar" c'est non, on parlera de "barre supérieure" svp, ou alors on mets le terme étranger en italique
  * référez-vous aux règles générales du wiki (mailing list, etc.) avant de faire des modifications en profondeur
</note>

==== Extensions fournissant des menus d'accès ====

Ni la recherche classique ni la vue des applications ne vous conviennent ? Pas grave ! De nombreuses extensions vous proposent des menus permettant d'accéder à vos fichiers, vos disques, vos applications :

^ Extension ^ Description ^ Versions ^
^ [[https://extensions.gnome.org/extension/1228/arc-menu/|Arc Menu]] | Un menu classique qui permet de parcourir ses applications par catégories, ou de les rechercher, avec un accès directs aux dossiers personnels, aux boutons de déconnexion/extinction, et aux utilitaires de paramétrage. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/6/applications-menu/|Applications Menu]] (extension officielle) | un menu classique pour ceux qui n'aiment pas la vue des applications ni la recherche au clavier. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/8/places-status-indicator/|Places Status Indicator]]  (extension officielle)| Menu déroulant simple avec des raccourcis vers les emplacements favoris (signets [[:Nautilus]] et périphériques). | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/72/recent-items/|Recent Items]] | Affiche un menu permettant d'accéder aux documents ouverts récemment. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/608/gnomenu/|Gno-Menu]] | Menu complet, bien conçu, et richement paramétrable, avec affichage par catégories, applications récentes, favoris, fonctionnalité de recherche, boutons de déconnexion/extinction, etc. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/7/removable-drive-menu/|Removable Drive Menu]] (extension officielle) | Menu fournissant un accès direct aux disques amovibles (si il y en a de branchés), avec une icône pour les débrancher en toute sécurité. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/327/axe-menu/|Axe Menu]] | Un menu classique aux icônes larges, avec recherche intégrée.  | 14.04 seulement |

==== Extensions modifiant l'interface ====

Vous voulez personnaliser en profondeur l'aspect ou l'organisation de l'interface de GNOME Shell ? Unity ou Windows vous manquent ? Ces extensions sont faites pour vous :

^ Extension ^ Description ^ Versions ^
^ [[https://extensions.gnome.org/extension/358/activities-configurator/|Activities Configurator]] | Permet de personnaliser en détails la barre supérieure (couleur, transparence), le bouton "Activités" (texte, icône, etc.), le "hot corner", etc. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/1011/dynamic-panel-transparency/|Dynamic Panel Transparency]] | Réglages avancés de transparence du top panel. | 14.04 à 18.04 (permet de "supprimer" la transparence) |
^ [[https://extensions.gnome.org/extension/1128/hide-activities-button/|Hide Activities Button]] | Cache le bouton "Activités". | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/307/dash-to-dock/|Dash to dock]] | Transforme le //[[:gnome-shell#le_dash|dash]]// de la vue activités en un dock disponible directement depuis le bureau, et richement paramétrable (taille, transparence, position, comportement, etc. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/1287/unite/|Unite]] | Déplace l'horloge à droite et intègre les boutons de fenêtres au panneau supérieur. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/1160/dash-to-panel/|Dash to panel]] | Fusionne le //[[:gnome-shell#le_dash|dash]]// et la barre supérieure en une unique "barre de tâches" moderne et élégante, avec miniatures de fenêtres au survol, qui vous rappellera peut-être des interfaces comme Windows 7 ou 10. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/602/window-list/|Window List]] (extension officielle) | Une barre de tâches simple. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/1250/gnome-global-application-menu/|GNOME Global Application Menu]] | Fournit une barre de menus globale et un //HUD// comme sur Unity. | 17.10 \\ (:!: instable, très déconseillé) |
^ [[https://extensions.gnome.org/extension/723/pixel-saver/|Pixel Saver]] | Supprime les barres des fenêtres maximisées n'ayant "que" un titre et des boutons. Le titre de la fenêtre est mis à la place de [[:gnome-shell#l'appmenu]] dans la barre supérieure, et les boutons de fenêtre sont eux aussi déplacés dans la barre supérieure. | 16.04 à 18.04 \\ :!: pour les sessions Xorg seulement. |
^ [[https://extensions.gnome.org/extension/1267/no-title-bar/|No Title Bar]] | Retire la barre de titre pour les fenêtres maximisées, et affiche les boutons de fenêtres dans la barre supérieure. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/1031/topicons/|Topicon plus]] | Les applications comme Skype, Discord ou Steam qui mettent un icône dans la zone de statut des barres de tâches des environnements habituels sont assez dérangeantes avec GNOME Shell, car ces icônes sont mal gérés. Cette extension les envoie dans la barre supérieure. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/19/user-themes/|User Themes]] (extension officielle) | Permet de changer le thème de GNOME Shell (et **NON** cette extension n'est **pas du tout** nécessaire pour changer le thème des fenêtres !). | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/1217/appfolders-manager/|Appfolders Management extension]] | Dans la vue des activité, un moyen facile de créer des dossiers pour y ranger les applications . | Testée avec la 18.04 |

==== Navigation entre les fenêtres ====

Fluidifier et personnaliser la navigation entre les fenêtres et/ou les espaces de travail :

^ Extension ^ Description ^ Versions ^
^ [[https://extensions.gnome.org/extension/97/coverflow-alt-tab/|Coverflow AltTab]] | Remplace le banal sélecteur AltTab par défaut par un défilement en 3D des fenêtres. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/10/windownavigator/|Window Navigator]] (extension officielle) | Permet de naviguer au clavier dans la vue des activités entre les différentes fenêtres (Alt+[chiffre]) ou les différents bureaux (Ctrl+[chiffre]). | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/21/workspace-indicator/|Workspace Indicator]] (extension officielle) | Affiche un indicateur de l'espace de travail actuel, et la possibilité d'en atteindre un autre. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/15/alternatetab/|AlternateTab]] (extension officielle) | Propose un fonctionnement différent pour le raccourci Alt+Tab où les fenêtres ne sont pas regroupées par application. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/16/auto-move-windows/|Auto Move Windows]] (extension officielle) | Permet de choisir pour chaque application dans quel espace de travail ses fenêtres s'ouvriront. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/18/native-window-placement/|Native Window Placement]] (extension officielle) | Propose un affichage moins monotone (et théoriquement plus optimal) des fenêtres dans la vue des activités. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/234/steal-my-focus/|Steal My Focus]] | Supprime les notifications du type “votre application est prête” et donne automatiquement le focus à la nouvelle fenêtre ouverte. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/657/shelltile/|ShellTile]] | Améliore et enrichit la façon dont les fenêtres pavent l'écran lorsqu'elles sont collées contre les bords. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/352/middle-click-to-close-in-overview/|Quick Close in Overview]] | En mode exposé, ferme une fenêtre en cliquant sur elle avec le bouton du milieu de la souris . | testée avec la 18.04 |
^ [[https://extensions.gnome.org/extension/496/show-desktop-from-overview/?c=36044/|Show Desktop from Overview]] | Un clic sur le bureau en mode exposé minimise toutes les fenêtres de l'espace de travail. | testée avec la 18.04 |

==== Ajout de fonctionnalités ====

Des fonctionnalités absentes de l'interface d'origine, comme la gestion du presse-papier, la recherche sur internet, un pense-bête, etc. :

^ 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/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/36/lock-keys/|Lock Keys]] | Affiche des voyants dans la barre supérieure pour indiquer si le verrouillage numérique ou le verrouillage majuscule sont activés. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/549/web-search-dialog/|Web Search Dialog]] | Ouvrir une fenêtre pour recherche sur le web de manière paramétrable. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/570/todotxt/|Todo.txt]] | Pense-bête et gestion avancée des tâches à faire, hautement paramétrable. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/1217/appfolders-manager/|Appfolders Management extension]] | Gérer l'organisation des applications dans [[:gnome-shell#la vue des applications]]. | 16.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/55/media-player-indicator/|Media Player Indicator]] | Contrôle des [[:lecteur_audio|lecteurs multimédia]] compatibles MPRIS via le menu système. | 14.04 à 16.04 \\ (inutile ensuite) |
^ [[https://extensions.gnome.org/extension/782/pidgin-im-integration/|Pidgin IM integration]] | Permet à [[:Pidgin]] d'utiliser le système de notifications de messagerie instantanée intégrées à GNOME Shell. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/512/wikipedia-search-provider/|Wikipedia Search Provider]] | Rechercher sur Wikipédia directement depuis la recherche de la vue des activités ! | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/9/systemmonitor/|System monitor]] (extension officielle) | ajoute dans la barre de notification (en bas) un graphique indiquant la consommation mémoire et processeur. | 14.04 seulement. |
^ [[https://extensions.gnome.org/extension/1218/printers/|Printers]]| Gérer les imprimantes et les taches d'impression à partir d'une icône dans la barre supérieure | testé avec la 18.04. |

==== Autres ====

^ Extension ^ Description ^ Versions ^
^ [[https://extensions.gnome.org/extension/517/caffeine/|Caffeine]] | Empêche la session de se verrouiller ou l'ordi de se mettre en veille si l'icône est activée. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/112/remove-accesibility/|Remove Accessibility]] | Enlève le menu 'accessibilité' de la barre supérieure si il y est. | 14.04 à 18.04 |
^ "[[https://extensions.gnome.org/extension/1036/extensions/|Extensions]]" | Gestion des extensions depuis... une extension. | 14.04 à 18.04 |
^ [[https://extensions.gnome.org/extension/1251/blyr/|Blyr]] | Ajoute un effet de flou à l'arrière-plan de la vue des activités. | 17.10 à 18.04 |
^ [[https://extensions.gnome.org/extension/600/launch-new-instance/|Launch new instance]] (extension officielle) | si une application est déjà lancée, cliquer sur l'icône du dash lance une nouvelle fenêtre au lieu de restaurer celle existante. | 14.04 à 18.04 |

===== Avancé : installation manuelle des extensions =====

Les extensions de l'utilisateur sont stockées dans **''~/.local/share/gnome-shell/extensions/''**

En accédant à ce dossier, il est possible d'y installer des extensions depuis du code source trouvé sur un dépôt github par exemple, ou de modifier une extension existante (voire pourquoi pas d'y contribuer, d'en traduire une, ou d'en coder soi-même 8-) ).

<note warning>Si vous ne comprenez pas ce que fait le code javascript d'une extension que vous trouvez quelque part sur internet, il peut être dangereux d'installer l'extension en question : 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, et si une extension a été rejetée de leur site, c'est qu'elle est codée n'importe comment, ou pire qu'elle présente une faille de sécurité, voire elle est malveillante. N'installez une extension depuis son dépôt source que si vous comptez par exemple y contribuer, ou si vous faites une confiance aveugle à son développeur et que vous voulez absolument la dernière version disponible.</note>

Pour installer manuellement une extension, il suffit de copier les fichiers vers un dossier **''~/.local/share/gnome-shell/extensions/uuid-de-l@extension''**, où "uuid-de-l@extension" est l'identifiant unique de l'extension, renseigné dans le fichier "metadata.json".

Un redémarrage de GNOME Shell sera nécessaire pour que votre ajout soit pris en compte par [[:gnome-tweak-tool| GNOME Ajustements]].

===== Voir aussi =====

* [[https://extensions.gnome.org/]]
  * Tutoriel : [[:tutoriel/personnaliser_gnome|personnaliser GNOME]]
  * [[:GNOME Shell]]
  * [[:gnome-tweak-tool]]
  * [[:epiphany|GNOME Web]]

Merci de recopier le code ci-contre pour prouver que vous êtes humain : A T H᠎ G B Merci de laisser ce champ vide :

Résumé

Note : En modifiant cette page, vous acceptez que le contenu soit placé sous les termes de la licence suivante : CC Paternité-Partage des Conditions Initiales à l'Identique 3.0 Unported