Advertisement
timcowchip

/usr/local/etc/grub.d/00_header

Feb 18th, 2016
100
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.02 KB | None | 0 0
  1. ### BEGIN /usr/local/etc/grub.d/00_header ###
  2. insmod part_gpt
  3. if [ -s $prefix/grubenv ]; then
  4. load_env
  5. fi
  6. set default="${saved_entry}"
  7.  
  8. if [ x"${feature_menuentry_id}" = xy ]; then
  9. menuentry_id_option="--id"
  10. else
  11. menuentry_id_option=""
  12. fi
  13.  
  14. export menuentry_id_option
  15.  
  16. if [ x"${gelipassphrase}" != x ]; then
  17. set pass="$gelipassphrase"
  18. export pass
  19. fi
  20.  
  21. if [ "${prev_saved_entry}" ]; then
  22. set saved_entry="${prev_saved_entry}"
  23. save_env saved_entry
  24. set prev_saved_entry=
  25. save_env prev_saved_entry
  26. set boot_once=true
  27. fi
  28.  
  29. function savedefault {
  30. if [ -z "${boot_once}" ]; then
  31. saved_entry="${chosen}"
  32. save_env saved_entry
  33. fi
  34. }
  35.  
  36. function load_video {
  37. insmod vbe
  38. insmod vga
  39. insmod video_bochs
  40. insmod video_cirrus
  41. }
  42.  
  43. insmod part_bsd
  44. insmod part_msdos
  45. insmod zfs
  46. if [ x$feature_platform_search_hint = xy ]; then
  47. search --no-floppy --fs-uuid --set=root 8d7f5cac509b6924
  48. else
  49. search --no-floppy --fs-uuid --set=root 8d7f5cac509b6924
  50. fi
  51. if loadfont /ROOT/10.2-RELEASE-p14-up-20160211_183737/@/boot/grub/pcbsdfont.pf2 ; then
  52. if [ x"${grub_platform}" = xpc ] ; then
  53. set gfxmode=auto
  54. load_video
  55. insmod gfxterm
  56. else
  57. # EFI
  58. insmod efi_gop
  59. insmod gfxterm
  60. insmod font
  61. insmod videotest
  62. insmod videoinfo
  63. set gfxmode=auto
  64. fi
  65. fi
  66. terminal_output gfxterm
  67. insmod gfxmenu
  68. loadfont ($root)/ROOT/10.2-RELEASE-p14-up-20160211_183737/@/boot/grub/themes/pcbsd/dejavu_10.pf2
  69. loadfont ($root)/ROOT/10.2-RELEASE-p14-up-20160211_183737/@/boot/grub/themes/pcbsd/dejavu_12.pf2
  70. loadfont ($root)/ROOT/10.2-RELEASE-p14-up-20160211_183737/@/boot/grub/themes/pcbsd/dejavu_14.pf2
  71. loadfont ($root)/ROOT/10.2-RELEASE-p14-up-20160211_183737/@/boot/grub/themes/pcbsd/dejavu_16.pf2
  72. loadfont ($root)/ROOT/10.2-RELEASE-p14-up-20160211_183737/@/boot/grub/themes/pcbsd/dejavu_bold_14.pf2
  73. insmod png
  74. set theme=($root)/ROOT/10.2-RELEASE-p14-up-20160211_183737/@/boot/grub/themes/pcbsd/theme.txt
  75. export theme
  76. set timeout=5
  77. ### END /usr/local/etc/grub.d/00_header ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement