#!/bin/bash ################################################################################ # # reboot-windows # Finds and flags a Windows menuentry in GRUB, and then reboots the system # ################################################################################ ######################################## # Reboot command ######################################## REBOOT_CMD=$(cat <