diff --git a/windows b/windows new file mode 100644 index 0000000..5ad691e --- /dev/null +++ b/windows @@ -0,0 +1,7 @@ +#!/bin/bash + +echo "Rebooting to Windows 10..." +WINDOWS_ENTRY=`sudo awk -F\' '/menuentry / {print }' /boot/grub/grub.cfg | grep -n Windows` +MENU_NUMBER=$(( `echo $WINDOWS_ENTRY | sed -e "s/:.*//"` -2 )) +sudo grub-reboot $MENU_NUMBER +sudo reboot