... and confirmed yet again, in gnome-shell 3.2.2.1-4.
Matteo: if it happens, try ctrl-alt-F1, log in to shell, and try: $ killall -HUP gnome-shell Check back with alt-F7 if it's come back. In 50% of the cases it will. If it doesn't, go back to console (ctrl-alt-F1) and run: $ killall gnome-shell $ DISPLAY=:0.0 gnome-shell & Then get back to your display (alt-F7) and save your work so you can log out properly... because once you start gnome-shell by hand, it becomes unbearably unstable (personal record: 7 freezes in under 10 minutes). Lennert -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
