GNOME : Quelques extensions utiles



Introduction



GNOME depuis sa version 3.x permet d'être personnalisé avec des extensions.

Voici celles que j'utilise. Elles sont peu nombreuses, je compléterai peut être avec d'autres qui peuvent être utiles !

Certaines extensions sont déjà packagées sur certaines distributions Linux. Pour les autres, les extensions sont téléchargeables sur le site officiel des extensions de GNOME : https://extensions.gnome.org/
Les extensions de GNOME s'installent dans votre profil utilisateur dans ~/.local/share/gnome-shell/extensions.

Mes extensions



Dash-to-dock



Dash to dock permet de détacher le dock du menu Activités de GNOME, pour le positionner où vous souhaitez sur l'écran.
Je l'ai placé par défaut en bas, On peut le masquer de manière intelligente ou le laisser affiché de manière permanente.

S'il n'existe pas packagé dans votre distribution, l'extension est téléchargeable ici : https://extensions.gnome.org/extension/307/dash-to-dock/

AppIndicator Support



Appindicator Support permet d'afficher en haut à droite (par défaut) les icônes des applications lancées (le "systray") à côté des menus réseau, son et extinction.

S'il n'existe pas packagé dans votre distribution, l'extension est téléchargeable ici : https://extensions.gnome.org/extension/615/appindicator-support/


Autres extensions qui peuvent vous intéresser



Application Menu



Cette extension est très simple, elle remplace le bouton "Activités" de GNOME et affiche un menu classique à la place (le Menu de GNOME Classic). La touche "Windows" ou le coin supérieur gauche (par défaut) permettent d'afficher la vue activités.

S'il n'existe pas packagé dans votre distribution, l'extension est téléchargeable ici : https://extensions.gnome.org/extension/6/applications-menu/

Desktop icons



Si vous souhaitez retrouver sur votre bureau les icônes, vous pouvez les activer grâce à cette extension. Je ne suis pas fan des icônes sur le bureau mais si ça vous intéresse, c'est dispo !

S'il n'existe pas packagé dans votre distribution, l'extension est téléchargeable ici : https://extensions.gnome.org/extension/1465/desktop-icons/
Cette page a été vue 1111 fois