Was tun, wenn der Desktop einfriert?

Ich bin unter Linux Mint 17. Ich habe einen unerwarteten Softwarefehler festgestellt. Der Desktop hat auf nichts reagiert. Da ich unerfahren bin, konnte ich nur mit CTRL+ ALT+ zur Konsole wechseln F1und den Computer dann neu starten mit: reboot Gibt es ein geeigneteres