lundi 16 juillet 2018

Mes extensions indispensables pour GNOME Shell

J'utilise depuis plusieurs années l'environnement de bureau GNOME Shell (sur Ubuntu) et j'ai trouvé de nombreuses extensions qui améliorent l'expérience.

Lire la suite...

vendredi 21 août 2009

Rafraîchissement de la page d'accueil

J'ai ajouté des icônes sur la page d'accueil de ce site pour la rendre moins austère. Ces images sont issus du Gnome 2.18 icon theme.

Lire la suite...