diff options
author | Francis Rowe <info@gluglug.org.uk> | 2016-02-21 04:47:42 +0000 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2016-02-21 04:47:42 +0000 |
commit | aec9b977b3ea17cdcc0638e418e58b5033abff9b (patch) | |
tree | 32825c9e621d3a1f49272a5ae24ac374098d5f43 /resources/grub/config | |
parent | e0e8e1200411f8a4027601e183e01696d5a54979 (diff) | |
download | librebootfr-aec9b977b3ea17cdcc0638e418e58b5033abff9b.tar.gz librebootfr-aec9b977b3ea17cdcc0638e418e58b5033abff9b.zip |
fix missing trailing slash in grub.cfg
Diffstat (limited to 'resources/grub/config')
-rw-r--r-- | resources/grub/config/menuentries/common.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/grub/config/menuentries/common.cfg b/resources/grub/config/menuentries/common.cfg index 8c182b3e..3b0dae4d 100644 --- a/resources/grub/config/menuentries/common.cfg +++ b/resources/grub/config/menuentries/common.cfg @@ -1,7 +1,7 @@ function switch_to_grub_config { set root="${1}" # a) Check possible file locations... - for p in boot/grub/coreboot_ grub/coreboot_ boot/grub/libreboot_ grub/libreboot_ boot/grub/autoboot_ grub/autoboot_ boot/grub/ grub/ boot/grub2 grub2/; do + for p in boot/grub/coreboot_ grub/coreboot_ boot/grub/libreboot_ grub/libreboot_ boot/grub/autoboot_ grub/autoboot_ boot/grub/ grub/ boot/grub2/ grub2/; do if [ -f "/${p}grub.cfg" ]; then # b) And eventually try to load the config. Using ESC one can still exit and revert back to # libreboot's menu. |