Ayant quelques soucis d’affichage avec gnome-shell sur la debian/wheezy de mon desktop (merci ma carte nvidia pas chère), je suis repassé sur ubuntu 12.04. Cette version 12.04 LTS semble assez stable et me donne pour l’instant entière satisfaction sous GNOME Shell 3.4.1. Lors de l’installation du lot d’extensions indispensables à la personnalisation de gnome-shell, je me suis heurté à un bug de l’extension « User Themes » ! L’installation de celle-ci par le biais du market d’extensions extensions.gnome.org fait planter gnome-tweak-tool [...]

Tour du propriétaire Comme vous avez pu le contater dans mes précédant billets, je suis l’heureux utilisateur d’une Debian Wheezy (Debian Testing) depuis un petit moment maintenant et cette distribution m’offre toute la liberté que je souhaitais, avec des paquets récents, sans pour autant manquer de stabilité! Je ne fais pas aussi souvent de mise à jour que lorsque j’étais sous Ubuntu, mais voilà qu’après quelques semaines d’ignorance aux multiples notifications de mises à jour, [...]