For now, as a workaround, I do this each time I start the system:
$ export LD_LIBRARY_PATH=/usr/lib/x86_64-linux-gnu/ $ gnome-shell --replace otherwise no gnome-shell... I'm waiting for a solution. Best Regards Francesco De Vita -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
