Gnome 3, extensions

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:

Vous pouvez aller faire un tour sur https://extensions.gnome.org/ pour en trouver d'autres à votre gout.