From 47cb36af9b2a68f395767c3d0f9b0d39ebcad007 Mon Sep 17 00:00:00 2001
From: Pim <pim.nelissen@protonmail.com>
Date: Fri, 10 Jun 2022 11:55:16 +0200
Subject: [PATCH] added windows grub reboot script

---
 windows | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 windows

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