Advertisement
splurben

grub.cfg

Sep 13th, 2014
344
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 5.58 KB | None | 0 0
  1. #
  2. # DO NOT EDIT THIS FILE
  3. #
  4. # It is automatically generated by grub2-mkconfig using templates
  5. # from /etc/grub.d and settings from /etc/default/grub
  6. #
  7.  
  8. ### BEGIN /etc/grub.d/00_header ###
  9. if [ -s $prefix/grubenv ]; then
  10. load_env
  11. fi
  12. if [ "${next_entry}" ] ; then
  13. set default="${next_entry}"
  14. set next_entry=
  15. save_env next_entry
  16. set boot_once=true
  17. else
  18. set default="0"
  19. fi
  20.  
  21. if [ x"${feature_menuentry_id}" = xy ]; then
  22. menuentry_id_option="--id"
  23. else
  24. menuentry_id_option=""
  25. fi
  26.  
  27. export menuentry_id_option
  28.  
  29. if [ "${prev_saved_entry}" ]; then
  30. set saved_entry="${prev_saved_entry}"
  31. save_env saved_entry
  32. set prev_saved_entry=
  33. save_env prev_saved_entry
  34. set boot_once=true
  35. fi
  36.  
  37. function savedefault {
  38. if [ -z "${boot_once}" ]; then
  39. saved_entry="${chosen}"
  40. save_env saved_entry
  41. fi
  42. }
  43.  
  44. function load_video {
  45. if [ x$feature_all_video_module = xy ]; then
  46. insmod all_video
  47. else
  48. insmod efi_gop
  49. insmod efi_uga
  50. insmod ieee1275_fb
  51. insmod vbe
  52. insmod vga
  53. insmod video_bochs
  54. insmod video_cirrus
  55. fi
  56. }
  57.  
  58. insmod part_msdos
  59. insmod ext2
  60. set root='hd0,msdos1'
  61. if [ x$feature_platform_search_hint = xy ]; then
  62. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 141d744f-6964-4194-a0ef-0bd998825b59
  63. else
  64. search --no-floppy --fs-uuid --set=root 141d744f-6964-4194-a0ef-0bd998825b59
  65. fi
  66. if loadfont /grub/fonts/DroidSansMonoSlashed31.pcf ; then
  67. set gfxmode=auto
  68. load_video
  69. insmod gfxterm
  70. set locale_dir=$prefix/locale
  71. set lang=en_GB
  72. insmod gettext
  73. fi
  74. terminal_output gfxterm
  75. insmod part_msdos
  76. insmod ext2
  77. set root='hd0,msdos1'
  78. if [ x$feature_platform_search_hint = xy ]; then
  79. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 141d744f-6964-4194-a0ef-0bd998825b59
  80. else
  81. search --no-floppy --fs-uuid --set=root 141d744f-6964-4194-a0ef-0bd998825b59
  82. fi
  83. insmod png
  84. background_image -m stretch /grub/BIOS-image_krh-branded-bkg_1280x800.png
  85. if [ x$feature_timeout_style = xy ] ; then
  86. set timeout_style=menu
  87. set timeout=5
  88. # Fallback normal timeout code in case the timeout_style feature is
  89. # unavailable.
  90. else
  91. set timeout=5
  92. fi
  93. ### END /etc/grub.d/00_header ###
  94.  
  95. ### BEGIN /etc/grub.d/10_linux ###
  96. menuentry 'Gentoo GNU/Linux' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-a86a85b0-a245-479b-ae23-a1a7e15575ff' {
  97. load_video
  98. insmod gzio
  99. insmod part_msdos
  100. insmod ext2
  101. set root='hd0,msdos1'
  102. if [ x$feature_platform_search_hint = xy ]; then
  103. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 141d744f-6964-4194-a0ef-0bd998825b59
  104. else
  105. search --no-floppy --fs-uuid --set=root 141d744f-6964-4194-a0ef-0bd998825b59
  106. fi
  107. echo 'Loading Linux x86_64-3.15.10-gentoo ...'
  108. linux /kernel-genkernel-x86_64-3.15.10-gentoo root=UUID=a86a85b0-a245-479b-ae23-a1a7e15575ff ro real_init=/usr/lib/systemd/systemd
  109. echo 'Loading initial ramdisk ...'
  110. initrd /initramfs-genkernel-x86_64-3.15.10-gentoo
  111. }
  112. submenu 'Advanced options for Gentoo GNU/Linux' $menuentry_id_option 'gnulinux-advanced-a86a85b0-a245-479b-ae23-a1a7e15575ff' {
  113. menuentry 'Gentoo GNU/Linux, with Linux x86_64-3.15.10-gentoo' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-x86_64-3.15.10-gentoo-advanced-a86a85b0-a245-479b-ae23-a1a7e15575ff' {
  114. load_video
  115. insmod gzio
  116. insmod part_msdos
  117. insmod ext2
  118. set root='hd0,msdos1'
  119. if [ x$feature_platform_search_hint = xy ]; then
  120. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 141d744f-6964-4194-a0ef-0bd998825b59
  121. else
  122. search --no-floppy --fs-uuid --set=root 141d744f-6964-4194-a0ef-0bd998825b59
  123. fi
  124. echo 'Loading Linux x86_64-3.15.10-gentoo ...'
  125. linux /kernel-genkernel-x86_64-3.15.10-gentoo root=UUID=a86a85b0-a245-479b-ae23-a1a7e15575ff ro real_init=/usr/lib/systemd/systemd
  126. echo 'Loading initial ramdisk ...'
  127. initrd /initramfs-genkernel-x86_64-3.15.10-gentoo
  128. }
  129. menuentry 'Gentoo GNU/Linux, with Linux x86_64-3.15.10-gentoo (recovery mode)' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-x86_64-3.15.10-gentoo-recovery-a86a85b0-a245-479b-ae23-a1a7e15575ff' {
  130. load_video
  131. insmod gzio
  132. insmod part_msdos
  133. insmod ext2
  134. set root='hd0,msdos1'
  135. if [ x$feature_platform_search_hint = xy ]; then
  136. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 141d744f-6964-4194-a0ef-0bd998825b59
  137. else
  138. search --no-floppy --fs-uuid --set=root 141d744f-6964-4194-a0ef-0bd998825b59
  139. fi
  140. echo 'Loading Linux x86_64-3.15.10-gentoo ...'
  141. linux /kernel-genkernel-x86_64-3.15.10-gentoo root=UUID=a86a85b0-a245-479b-ae23-a1a7e15575ff ro single real_init=/usr/lib/systemd/systemd
  142. echo 'Loading initial ramdisk ...'
  143. initrd /initramfs-genkernel-x86_64-3.15.10-gentoo
  144. }
  145. }
  146.  
  147. ### END /etc/grub.d/10_linux ###
  148.  
  149. ### BEGIN /etc/grub.d/20_linux_xen ###
  150. ### END /etc/grub.d/20_linux_xen ###
  151.  
  152. ### BEGIN /etc/grub.d/30_os-prober ###
  153. ### END /etc/grub.d/30_os-prober ###
  154.  
  155. ### BEGIN /etc/grub.d/40_custom ###
  156. # This file provides an easy way to add custom menu entries. Simply type the
  157. # menu entries you want to add after this comment. Be careful not to change
  158. # the 'exec tail' line above.
  159. ### END /etc/grub.d/40_custom ###
  160.  
  161. ### BEGIN /etc/grub.d/41_custom ###
  162. if [ -f ${config_directory}/custom.cfg ]; then
  163. source ${config_directory}/custom.cfg
  164. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  165. source $prefix/custom.cfg;
  166. fi
  167. ### END /etc/grub.d/41_custom ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement