blob: 4093f59d550b77fc242d237b0162420b84b82cea (
plain)
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
|
set timeout=3
set color_normal="light-gray/black"
set color_highlight="light-green/blue"
# The first boot entry in normal boot.
set first_boot="0"
# The default boot entry after the first boot.
set default_boot="0"
function savedefault {
if [ "${chosen}" ]; then
next_boot="${chosen}"
save_env next_boot
fi
}
if [ -s "${prefix}/grubenv" ]; then
load_env
fi
if [ "${next_boot}" ]; then
set default="${next_boot}"
else
set default="${first_boot}"
set next_boot="${default_boot}"
save_env next_boot
fi
if [ -s "${prefix}/efi-secure-boot.inc" ]; then
source "${prefix}/efi-secure-boot.inc"
fi
if [ -s "${prefix}/boot-menu.inc" ]; then
source "${prefix}/boot-menu.inc"
fi
|
