Dans la pratique

Les extensions Gnome Shell que j’utilise

La version 3 du bureau Gnome propose désormais une nouvelle façon de personnaliser son interface, par l’ajout d’extensions. Voici celles que j’ai finalement adoptées.

Identi.ca, Twitter, n’en garder que l’essentiel

Le microblogging, c’est bien, mais c’est bruyant. Ne conserver que les notices contenant une URL est une première contre-mesure assez efficace en attendant l’arrivée d’outils permettant de mieux en exploiter les données.