I am on Linux Mint 17. I experienced an unexpected software failure.
The desktop did not respond to anything.
As I am inexperienced, I only managed to switch to the console using CTRL+ALT+F1 and then restart the machine using:
reboot
Is there a more appropriate procedure?
Best Answer
Update 2018-Apr-15
As of Linux Mint 18 there has been a move to LightDM display manager, which you can restart as follows:
Original
Running
reboot
is a perfectly safe way of doing it. If you just wanted to log out (restart your GUI session), you could run:That will restart the Mint Display Manager, the default display manager under Mint.