How to reboot or shutdown your Linux system if you find yourself without a GUI