Play sound after the grub menu is shown.

Thanks to Richard Hartmann for providing the tune.

diff --git a/etc/grml/fai/config/scripts/GRMLBASE/45-efi b/etc/grml/fai/config/scripts/GRMLBASE/45-efi
index 23ae3c6..0711698 100755 (executable)
--- a/etc/grml/fai/config/scripts/GRMLBASE/45-efi
+++ b/etc/grml/fai/config/scripts/GRMLBASE/45-efi
@@ -42,10 +42,10 @@ 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 regexp reiserfs search search_fs_file search_fs_uuid   \
+  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

diff --git a/templates/boot/grub/footer.cfg b/templates/boot/grub/footer.cfg
new file mode 100644 (file)
index 0000000..7563a3d
--- /dev/null
+++ b/templates/boot/grub/footer.cfg
@@ -0,0 +1 @@
+play 6000 500 1 500 1 1500 1