Après avoir tenté pendant un bout de temps unity, le bureau par defaut de ubuntu, j’ai eu envie de changements, et j’ai donc essayé un peu de regarder du coté de gnome 3, à nouveau.
Et finalement, j’ai trouvé quelques extensions qui sont vraiment utiles, que je liste ici.
- Antisocial Menu vire les boutons et textes en rapport avec le web social. J’en avais pas besoin puisque je suis connecté à mon instant messenger dans un terminal, en utilisant weechat.
- Coverflow Alt-Tab change le switcher d’applications par defaut. Je le trouve bien plus pratique que celui par defaut puisqu’il me permet de voir “en grand” quelle est la fenêtre que je vais afficher.
- Media player indicator me permet de voir en temps réel ce qui se passe dans mon lecteur audio. Ça semble ne pas être grand chose, mais ça me manquait. Ça s’intègre niquel avec Spotify, et ça c’est chouette.
- Rechercher dans les bookmarks firefox permet de… à votre avis ?
Un peu moins utile mais sait on jamais:
- “Advanced Settings in UserMenu” permet d’avoir un raccourci vers les paramètres avancés dans le menu utilisateur (en haut à droite)
- Une intégration à Getting things Gnome (un truc de GTD). Je suis en train d’expérimenter avec cet outil, donc je ne sais pas encore si ça va rester, mais pourquoi pas.
Vous pouvez aller faire un tour sur https://extensions.gnome.org/ pour en trouver d’autres à votre gout.