reboot_windows.sh

#!/usr/bin/env sh

target_boot_name='Windows Boot Manager'


windows_boot_id="$(efibootmgr --unicode | grep "$target_boot_name" | sed 's/Boot\([0-9a-fA-F]\{4\}\)\*\? .*/\1/')"
if [ ${#windows_boot_id} -ne 4 ]; then
    echo "$0: Could not find boot id for Windows."
    exit 1
fi

if ! sudo efibootmgr -n "$windows_boot_id"; then
    echo "$0: Could not set NextBoot with efibootmgr." >&2
    exit 1
fi

sudo reboot