blob: a6584b9b50c431912dded26b53e7f48d571ffa53 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
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
|