#!/bin/bash
. get_root
grub-reboot "Windows"
reboot