diff options
Diffstat (limited to 'grub')
-rwxr-xr-x | grub/09_linux | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/grub/09_linux b/grub/09_linux deleted file mode 100755 index 5fbef4c..0000000 --- a/grub/09_linux +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -prefix="/usr" -datarootdir="${prefix}/share" -sysconfdir="/etc" -grub_mkconfig_dir="${sysconfdir}/grub.d" - -source "${datarootdir}/grub/grub-mkconfig_lib" - -ykfde-cpio -YKFDE_CHALLENGES="$(make_system_path_relative_to_its_root /boot/ykfde-challenges.img)" - -source "${grub_mkconfig_dir}/10_linux" | sed \ - -e "/\\s*initrd/s|$| ${YKFDE_CHALLENGES}|" \ - -e "/\\s*menuentry/s|menuentry '\\(.*\\)' --|menuentry '\\1 for YKFDE' --|" - |