Bonjour.
J'ai un problème avec mon système qui devient lent, très lent, voire inutilisable.
Un top dans un terminal indique que gnome-shell est dans les applications qui consomment le plus de ressources.
J'utilise BOINC, avec un CPU à 3 cœurs, et j'ai donc gnome-shell qui monte à 40%, des fois plus.
Donc soit gnome-shell est numéro 4 des applications (quand BOINC fonctionne) soit la 1ere application, quand BOINC ne fonctionne pas.
Et donc, je suis obligé de redémarrer le système complet.
J'ai déjà fait quelques recherches sur le net (il y a des bugs dans le bugzilla) : il y a ce bug
https://bugzilla.redhat.com/show_bug.cgi?id=812624
mais je ne trouve pas de "vraie" solution.
Je suis sur Fedora 18.
Avez-vous une piste pour moi ?
Une liste des extensions déjà installée peut-être ?
Dans le bug listé, ils parlent de faire un strace ... mais ça ne me semble pas "utilisable".