corto69 a écritBonjour,
Le bug est fixé. C'est la bonne nouvelle.
La mauvaise, c'est que cela a été au prix de gnome-shell.
Je l'avais installé depuis 1 an et la mise à jour corrigeant les bugs me l'a désinstallé et le paquet est signalé cassé.
Donc, je suis revenu sur le gnome standard.
Je viens d'avoir le même problème. Il faut faire
sudo apt-get update
pour que le paquet relatif à Gnome-shell 3.6 soit téléchargé. Une fois ceci fait, il suffit de l'installer :
sudo apt-get install gnome-shell
et de redémarrer. 🙂
Édit : petite explication. Lors de la mise à jour ce matin, le paquet gnome-shell 3.5.92 a été désinstallé. Une fois les mises à jour installées, en principe, le gestionnaire de mises à jour vérifie si d'autres mises à jour sont disponibles mais là il ne s'est pas relancé, d'où le fait que le paquet gnome-shell 3.6.0 n'a pas pu être installé.