Mois: juillet, 2012

gnome_shell_for_dummies

Les extensions indispensables pour rendre Gnome-Shell utilisable. [maj]

Gnome-Shell c’est bien. Enfin pas tout à fait. Car sans certaines extensions, il est loin d’être le plus pratique. Voici donc ma petite sélection d’extensions…

duel-marmottes

Match: Gnome Shell et KDE, lequel choisir ?

Fedora 17 KDE d’un côté, Ubuntu 12.04 avec Gnome-Shell de l’autre, le tout en dual-boot sur la même machine. Et si nous nous faisons un duel ?

ubuntu-gnome-shell

Mon desktop Ubuntu Gnome-Shell du 19/07/2012.

Mon bureau Ubuntu 12.04 avec Gnome-Shell du mois de Juillet 2012…

mecanicien_peugeot

Rémitaines.com de retour, j’ai tué une 404 !

Vous avez certainement remarqué que remitaines.com affichait de jolies erreurs 404 sur toutes les pages et articles…

licence-iv

Quelle licence adopter pour son blog ?

La question de la licence est importante pour un blogueur. Nous tenterons d’expliquer comment les licences et laquelle utiliser pour un blog…

sombre-porcelaine-gnome-shell-theme

J’ai joué avec un Gnome… (mon premier thème Gnome Shell)

Pas moyen de trouver un thème Gnome-Shell capable de me convenir, alors j’ai créé le mien…