Romu Bonjour, Je ne sais pas s'il y a beaucoup d'utilisateurs de Ubuntu Gnome ici, mais je tente quand même. J'ai installé UG 13.10 Beta, donc officiellement avec Gnome 3.8. J'ai ajouté les ppa Gnome3-next et Gnome3-staging pour tester Gnome 3.10. Ca marche...sauf que Gthumb que j'utilise beaucoup (beaucoup plus puissant que Shotwell pour qui cherche un bon catalogueur) ne fonctionne plus bien. Donc retour en arrière, suppression des ppa Next et Staging, j'ai même fait des ppa-purge pour être sur. Update, dist-upgrade...rien, toujours en 3.10. C'est pas possible de "downgrader" ou y a un truc que je fais pas bien ? Merci.
floxyz51 Bonjour Je ne suis pas sur de la marche arrière ! ce que je ferais, via synaptic. j'installerais une session xfce ubuntu pour pourvoir supprimer et remplacer gnome shell . Je vérifierais tous mes dépôts, mes paquets gnome shell 3.8 mais attention souvent redémarrage difficile après suppression et remplacement, bref..... franchement je préférerais réinstaller un Ubuntu-Gnome propre. tous en gardant mon home s'il le faut. Ou alors je reinstallerais la méme version en prenant ensuite mon mal en patiente pour les futures MAJ. effectivement je suis sur un Ubuntu-Gnome 13.04- 3.8.3 mais la on parle d'un gnome-shell non release avec une ubuntu non release, ça donne un peut le vertige, non ! Et je suppose que ce que je t’écris ne t'apprend rien ! Bon courage et donne nous des nouvelles sur ta décision. C'est toujours intéressant a lire ce genre d’expérience ! Floxyz51
Romu Ah merci du coup de main. On peut vraiment refaire une install en gardant son home ? Si ça marche, je le fais direct...
Romu Bonjour, J'ai eu beau tenter une installation type "mettre à niveau", rien à faire, ça ne voulait pas fonctionner. Sûrement dû au fait d'être en double boot avec Windows 8 en UEFI. Bref, sauvegarde, effacement des partitions, et ça roule à nouveau.
lemoineo J'aurais pensé à une partition séparée lors de l'install, mais chaque install a le génie de mettre plein de "saloperies" dans des dossiers cachés du home. J'ai essayé quelques mois avec deux ou trois partitions system , mais c'est le binz ... Bon courage
snowflorent Bonjour, Pour donner une réponse : Enlever Gnome 3.10 PPA sur Ubuntu 13.10 Sans réinstaller ou réparer le système Je l'ai testé. Ça fonctionne à merveille.
