I am on Linux Mint 17. I experienced an unexpected software failure.As I am inexperienced, I only managed to switch to the console using CTRL+ALT+F1 and then restart the machine using:rebootIs there a more appropriate procedure?
How to log off when the desktop freezes?
linux;linux mint;reboot;freeze
Running reboot is a perfectly safe way of doing it. If you just wanted to log out (restart your GUI session), you could run:sudo service mdm restartThat will restart the Mint Display Manager, the default display manager under Mint.