grub_void.cfg.pre 644 B

123456789101112131415161718192021222324252627282930313233343536
  1. export voidlive
  2. set pager="1"
  3. set locale_dir="(${voidlive})/boot/grub/locale"
  4. if [ -e "${prefix}/${grub_cpu}-${grub_platform}/all_video.mod" ]; then
  5. insmod all_video
  6. else
  7. insmod efi_gop
  8. insmod efi_uga
  9. insmod video_bochs
  10. insmod video_cirrus
  11. fi
  12. insmod font
  13. if loadfont "(${voidlive})/boot/grub/fonts/unicode.pf2" ; then
  14. insmod gfxterm
  15. set gfxmode="auto"
  16. terminal_input console
  17. terminal_output gfxterm
  18. insmod png
  19. background_image "(${voidlive})/boot/isolinux/@@SPLASHIMAGE@@"
  20. fi
  21. # Set default menu entry
  22. default=linux
  23. timeout=15
  24. timeout_style=menu
  25. # GRUB init tune for accessibility
  26. play 600 988 1 1319 4
  27. if [ cpuid -l ]; then