Bonjour à tous,
j’ai un comportement étrange avec gnome-terminal depuis une des dernières mises à jour sur ma Debian sid.
Tout d’abord, le profil que j’avais créé a été remplacé par le profil par défaut (changement des polices, des couleurs). De plus, il m’est impossible de le modifier ou d’en créer un autre. Plus grave, et pour la même raison, il m’est impossible de (dé)cocher une case, que ce soit dans la boîte de dialogue correspondant aux profils, ou à celle des préférences de gnome-terminal. Cela dans tous les onglets.
J’ai pensé à regarder si j’avais toujours les droits dans le dossier .gconf/apps/gnome-terminal, mais tout a l’air normal :$ ls -la .gconf/apps/gnome-terminal
total 12
drwx------ 3 alex alex 4096 janv. 28 2010 .
drwx------ 24 alex alex 4096 déc. 8 2011 ..
-rw------- 1 alex alex 0 janv. 28 2010 %gconf.xml
drwx------ 3 alex alex 4096 janv. 28 2010 profiles
Quelqu’un voit-il où pourrait se situer le problème ? 
Merci d’avance !