From 2b2d6a152de2ba6dd90fe0687d136e2eb6ccd989 Mon Sep 17 00:00:00 2001
From: Egor Tensin <egor@tensin.name>
Date: Mon, 8 Sep 2025 11:45:26 +0200
Subject: split AUR-related stuff to the aur branch

---
 bin/reboot-into-windows | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100755 bin/reboot-into-windows

(limited to 'bin/reboot-into-windows')

diff --git a/bin/reboot-into-windows b/bin/reboot-into-windows
new file mode 100755
index 0000000..a6584b9
--- /dev/null
+++ b/bin/reboot-into-windows
@@ -0,0 +1,43 @@
+#!/usr/bin/env bash
+
+set -o errexit -o nounset -o pipefail
+shopt -s inherit_errexit lastpipe
+
+readonly cfg_path=/boot/grub/grub.cfg
+
+get_windows_menu_entry() {
+     local windows_entries
+     windows_entries="$( awk -F\' '/menuentry / {print $2}' "$cfg_path" | grep -Fi Windows )"
+
+     local numof_entries
+     numof_entries="$( echo "$windows_entries" | wc -l )"
+
+     if [ "$numof_entries" -ne 1 ]; then
+         echo "Don't know which one of the following entries to select:" >&2
+         echo "$windows_entries" >&2
+         return 1
+     fi
+
+     echo "$windows_entries"
+}
+
+main() {
+    local entry
+    entry="$( get_windows_menu_entry )"
+
+    # grub-reboot returns 0 even if something like a permission error happens.
+    # It does print something in that case though, and nothing after a
+    # successful termination.
+    local output
+    output="$( grub-reboot "$entry" )"
+
+    if [ -n "$output" ]; then
+        echo "grub-reboot probably exited with an error:" >&2
+        echo "$output" >&2
+        return 1
+    fi
+
+    reboot
+}
+
+main
-- 
cgit v1.2.3