Comme d’habitude, il est plus de 3 heure du mat et je n’ai toujours pas sommeil, et comme toujours je vais en profiter pour rédiger un billet, sauf que je n’ai pas un sujet précis qui me revient. Ah mais tiens, et si je publierais la liste des extensions Gnome Shell que j’utilise pour faire de ce dernier un bureau de travail convenable ?

• Deepin Enhanced Dock : comme son nom le laisse suggérer, cette extension, cette extension est développé par le projet Deepin (une distro chinoise). Elle ajoute un dock au panneau supérieur, très pratique si on veut se débarrasser de quelques mouvements inutiles avec la souris ;
• Deepin hide Dash :  avec l’extension ci-dessus installé, le dash n’est plus vraiment utile, celle-ci permet de le caché ;
• Remove accessibility : ben oui, sauf si vous souffrez d’un handicap, ce bouton ne vous est d’aucune utilité ;
• Hide username : celle-ci remplacera votre pseudo/nom affiché le panneau par une toute petite icône. Cela permet de gagner un peu d’espace ;
• Deepin enhanced Alt-Tav switcher : elle permet de se déplacer facilement entre les fenêtres et les espaces de travail ;
• Steal my focus : donne le focus automatiquement à la nouvelle fenêtre ouverte en supprimant les notifications inutiles ;
• Window overlay icons : Cette extension ajoute une icône aux aperçus des applications dans la vue activités (bon j’avoue, elle est useless) ;
• Windows Navigator : une extension pour les mordus des raccourcis clavier (dont je fais partie), elle permet de sélectionner une fenêtre parmi ceux qui sont ouvertes, depuis la vue “activités”, en appuyant sur la touche ALT plus le nombre attribué à la fenêtre ;
• CPU Temperature indicator : utile pour garder un œil sur la température du CPU ;
• Removable Drive Menu : ajoute dans le panneau un menu qui s’affiche quand un média amovible est connecté ;
• Alternative shutdown menu : cette extension corrige un  des plus célèbres “fails” de Gnome 3 ;
• No click navigation : une autre extension que nous vienne du projet Deepin, celle-ci permet de se déplacer entre les onglets “fenêtres, application”, juste en les survolant sans avoir à cliquer dessus ;
• Media player indicator : permet de contrôler une application MPRIS2 directement depuis un menu, qui s’ajoutera dans le panneau principal si cette application est lancée ;
• Extension user theme : bon, celle-là pas besoin de vous la présenter, je crois que tous le monde la connaisse.

Si je voulais troller Gnome, je dirais qu’il en faut des extensions pour en faire un D.E utilisable.. :p

P.S : Si vous êtes intéressés par ces extensions et pour vous épargnez d’aller les chercher une à une, j‘ai fait cette archive que vous pouvez télécharger.

Cet article La liste des extensions Gnome Shell que j’ai installé est apparu en premier sur crowd42.