On the rare occasion that my Linux desktop freezes, I have a few tricks up my sleeve that keep me from having to do a hard ...