diff options
-rwxr-xr-x | src/grub-efi.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grub-efi.sh b/src/grub-efi.sh index 350c28d..f3f6b1c 100755 --- a/src/grub-efi.sh +++ b/src/grub-efi.sh | |||
@@ -12,7 +12,7 @@ grub_config() | |||
12 | { | 12 | { |
13 | cat <<EOF | 13 | cat <<EOF |
14 | insmod echo | 14 | insmod echo |
15 | echo GRUB | 15 | echo GRUB (samizdat) |
16 | 16 | ||
17 | insmod normal | 17 | insmod normal |
18 | insmod keystatus | 18 | insmod keystatus |