Play sound after the grub menu is shown.
[grml-live.git] / etc / grml / fai / config / scripts / GRMLBASE / 45-efi
index e2fc787..0711698 100755 (executable)
@@ -30,7 +30,7 @@ rm -f "$GRUB_EFI_IMAGE" "$TMP_CONFIG" "$EFI_IMAGE"
 cat > "$TMP_CONFIG" <<EOF
 search --set -f /conf/bootid.txt root
 if [ -e /boot/grub/grub.cfg ]; then
- set prefix=\$root/boot/grub
+ set prefix=(\$root)/boot/grub
  configfile /boot/grub/grub.cfg
 else
  echo "E: Could not find root device!"
@@ -42,11 +42,11 @@ TMP_CONFIG="${TMP_CONFIG##${target}}"
 EFI_IMAGE="${EFI_IMAGE##${target}}"
 
 $ROOTCMD grub-mkimage -O x86_64-efi -o "$GRUB_EFI_IMAGE" --prefix=/boot/grub/ --config="$TMP_CONFIG" \
-  bitmap boot btrfs cat chain cmp configfile cpio echo efi_gop      \
-  efi_uga elf ext2 fat gfxmenu gfxterm gzio help iso9660 jpeg linux \
-  loopback lvm minicmd multiboot normal part_gpt part_msdos png     \
-  probe raid reiserfs search search_fs_file search_fs_uuid          \
-  search_label terminal test video videoinfo xfs
+  bitmap boot btrfs cat chain cmp configfile cpio echo efi_gop       \
+  efi_uga elf ext2 fat gfxmenu gfxterm gzio help iso9660 jpeg linux  \
+  loopback lvm minicmd multiboot normal part_gpt part_msdos play png \
+  probe raid regexp reiserfs search search_fs_file search_fs_uuid    \
+  search_label squash4 terminal test video videoinfo xfs
 
 if ! [ -r "${target}/${GRUB_EFI_IMAGE}" ] ; then
   echo "Can not access grub efi image." >&2