PostBlue : Gnome Shell : liste d’extensions (mise à jour)

PostBlue : Gnome Shell : liste d’extensions (mise à jour):
Je maintiendrai dans celui-ci une liste des extensions pour Gnome Shell que j’ai installées sur ma session, de façon claire et précise, avec une courte présentation si je n’ai pas trop la flemme.

Je ne considère pas d’en avoir énormément, mais suffisamment pour modifier Gnome Shell tant en profondeur qu’en quelques petits détails : juste assez, finalement, pour que son utilisation me corresponde et me plaise.

• 
  User themes est une extension essentielle si vous désirez pouvoir changer de thème (en mon cas j’utilise Zukitwo) (n’oubliez pas un petit sudo cp ~/.local/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gcampax.github.com/schemas/org.gnome.shell.extensions.user-theme.gschema.xml /usr/share/glib-2.0/schemas/ && sudo glib-compile-schemas /usr/share/glib-2.0/schemas/ sinon ce pourrait bien ne pas fonctionner) ;

• 
  Pidgin Conversation Integration intégrant Pidgin au système de notification de Gnome, comme c’est le cas par défaut pour Empathy (qui aurait ma préférence s’il supportait l’OTR) – simple et efficace, je noterai seulement une récurrence du compteur de notifications même quand les messages sont lus ;
• 
  Status Only Icon est parfaitement simpliste, permettant simplement de cacher le nom accolé à l’icône de statut – selon la logique du « je sais comment je m’appelle, merci » ;

• Afin de palier à quelques petites régressions de Gnome Shell, ou plutôt parce que pour ça j’aime encore l’old way, Frippery Shut Down Menu et Frippery Move Clock permettent d’un poil faire le ménage en changeant le menu d’extinction et mettant l’horloge à droite de la barre des tâches, et Remove Accessibility me permet de virer l’envahissante icône d’accessibilité qui ne m’est d’aucune utilité (quoique je comprenne les efforts d’accessibilités faits par l’équipe de Gnome Shell) ;

• 
  Yet Another Inhibit Suspend Extension, ajoutant au menu d’utilisateur un commutateur afin de désactiver la mise en veille ;

• 
  shellshape qui adjoint à Gnome quelques fonctions de tiling fort pratiques quoique relativement restreintes ;
• 
  Impatience permet de régler la vitesse des animations du shell, afin de gagner en rapidité sans pour autant perdre la fluidité des animations (au moyen de facteurs simples) ;

• 
  Settings Center ajoute au menu d’utilisateur des raccourcis très utiles : gnome-tweak-tool, dconf-editor, gconf-editor, gnome-session-properties, gnome-shell-extension-prefs, seahorse, nvidia-settings, ou encore n’importe quel raccourci qu’il vous plairait ajouter ;
• 
  GPaste, un gestionnaire de presse-papier ;

• 
  Transmission Daemon Indicator, permettant d’afficher simplement et intuitivement la liste des torrents dans Transmission – localement ou à distance, c’est comme il vous sied ;
• 
  Helpful Keybindings ajoute une petite dose agréable de raccourcis clavier à Gnome Shell : afficher la Looking Glass (outil d’inspection de Gnome), naviguer au clavier entre la tâche courante et la zone de conversation / les notifications, …
• 
  Status Area Horizontal Spacing, réduisant un peu l’écart entre les différents icônes de la barre de statut ;
• 
  Panel Settings, permettant de personnaliser le règles d’affichage et de masquage du panneau supérieur directement depuis le menu utilisateur.

Extensions Gnome Shell en test / nécessitant quelques améliorations

Dans les précédentes versions de cet article, je conseillais l’utilisation de Maximus et Window Buttons afin de gagner une place considérable à l’affichage des applications en plein écran. Hélas, depuis Gnome Shell 3.4, il semblerait que l’extension telle qu’elle est sur son dépôt git n’est pas fonctionnelle (bien qu’à l’heure actuelle il existe un correctif). Cette manipulation est donc à restreindre à ceux qui appliqueront ce dernier correctif (ou utilisent le PPA de webupd8 qui semblerait être à jour).

• 
  Maximus, afin d’enlever les inutiles décorations lorsque la fenêtre est maximisée ;
• 
  Gnome Shell Window Buttons Extension.

Note : j’ai conseillé pendant tout un temps l’extension Gnome GlobalMenu mais celle-ci n’est plus maintenue depuis des mois et les menus sont plus ou moins en train d’être revus, donc je ne le conseille plus.
Original post of PostBlue.