https://blog.dummzeuch.de/2015/09/04/rebooting-a-linux-server-unattended/