shell script to reboot linux server