Selon David Soulayrol <david.soulayrol-ste-exterieure@fr.thalesgroup.com>:
Bonjour,
Je vois que les questions fleurissent à propos des problèmes avec GNOME.
Je vais donc tenter ma chance avant mon départ prochain en vacances...
Depuis un certain temps déjà (sans depuis une certaine mise à jour de ma
Sid, mais je l'ai remarqué un peu tard), le bureau de GNOME ne se
rafraichit plus automatiquement. Cependant, si je fais un Ctrl+R en
ayant le focus sur le bureau, j'ai bien une mise à jour.
Tu utilises fam ou gamin? Parce que depuis que je suis passé à gamin j'ai
effectivement le rafraichissement qui est assez aléatoire...
Mais j'ai vu hier qu'il y avait une nouvelle version de gamin.
Peut-être que ça
va améliorer le truc...