spacepaste

Paste details

reply | raw

  1.  
  2. #
  3. # DO NOT EDIT THIS FILE
  4. #
  5. # It is automatically generated by grub-mkconfig using templates
  6. # from /etc/grub.d and settings from /etc/default/grub
  7. #
  9. ### BEGIN /etc/grub.d/00_header ###
  10. if [ -s $prefix/grubenv ]; then
  11. load_env
  12. fi
  13. if [ "${next_entry}" ] ; then
  14. set default="${next_entry}"
  15. set next_entry=
  16. save_env next_entry
  17. set boot_once=true
  18. else
  19. set default="0"
  20. fi
  22. if [ x"${feature_menuentry_id}" = xy ]; then
  23. menuentry_id_option="--id"
  24. else
  25. menuentry_id_option=""
  26. fi
  28. export menuentry_id_option
  30. if [ "${prev_saved_entry}" ]; then
  31. set saved_entry="${prev_saved_entry}"
  32. save_env saved_entry
  33. set prev_saved_entry=
  34. save_env prev_saved_entry
  35. set boot_once=true
  36. fi
  38. function savedefault {
  39. if [ -z "${boot_once}" ]; then
  40. saved_entry="${chosen}"
  41. save_env saved_entry
  42. fi
  43. }
  45. function load_video {
  46. if [ x$feature_all_video_module = xy ]; then
  47. insmod all_video
  48. else
  49. insmod efi_gop
  50. insmod efi_uga
  51. insmod ieee1275_fb
  52. insmod vbe
  53. insmod vga
  54. insmod video_bochs
  55. insmod video_cirrus
  56. fi
  57. }
  59. if [ x$feature_default_font_path = xy ] ; then
  60. font=unicode
  61. else
  62. insmod part_gpt
  63. insmod ext2
  64. set root='hd1,gpt6'
  65. if [ x$feature_platform_search_hint = xy ]; then
  66. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt6 --hint-efi=hd1,gpt6 --hint-baremetal=ahci1,gpt6 88c559e1-7ac0-4966-bbce-0c1d072e1b11
  67. else
  68. search --no-floppy --fs-uuid --set=root 88c559e1-7ac0-4966-bbce-0c1d072e1b11
  69. fi
  70. font="/usr/share/grub/unicode.pf2"
  71. fi
  73. if loadfont $font ; then
  74. set gfxmode=1024x768
  75. load_video
  76. insmod gfxterm
  77. set locale_dir=$prefix/locale
  78. set lang=en_GB
  79. insmod gettext
  80. fi
  81. terminal_output gfxterm
  82. if [ x$feature_timeout_style = xy ] ; then
  83. set timeout_style=menu
  84. set timeout=10
  85. # Fallback normal timeout code in case the timeout_style feature is
  86. # unavailable.
  87. else
  88. set timeout=10
  89. fi
  90. ### END /etc/grub.d/00_header ###
  92. ### BEGIN /etc/grub.d/10_linux ###
  93. menuentry 'Gentoo GNU/Linux' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-88c559e1-7ac0-4966-bbce-0c1d072e1b11' {
  94. load_video
  95. set gfxpayload=keep
  96. insmod gzio
  97. insmod part_gpt
  98. insmod ext2
  99. set root='hd1,gpt6'
  100. if [ x$feature_platform_search_hint = xy ]; then
  101. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt6 --hint-efi=hd1,gpt6 --hint-baremetal=ahci1,gpt6 88c559e1-7ac0-4966-bbce-0c1d072e1b11
  102. else
  103. search --no-floppy --fs-uuid --set=root 88c559e1-7ac0-4966-bbce-0c1d072e1b11
  104. fi
  105. echo 'Loading Linux 4.4.39-gentoo ...'
  106. linux /boot/vmlinuz-4.4.39-gentoo root=/dev/sdb6 ro rootfstype=ext4 splash=silent,theme:natural_gentoo console=tty1 quiet
  107. }
  108. submenu 'Advanced options for Gentoo GNU/Linux' $menuentry_id_option 'gnulinux-advanced-88c559e1-7ac0-4966-bbce-0c1d072e1b11' {
  109. menuentry 'Gentoo GNU/Linux, with Linux 4.4.39-gentoo' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.39-gentoo-advanced-88c559e1-7ac0-4966-bbce-0c1d072e1b11' {
  110. load_video
  111. set gfxpayload=keep
  112. insmod gzio
  113. insmod part_gpt
  114. insmod ext2
  115. set root='hd1,gpt6'
  116. if [ x$feature_platform_search_hint = xy ]; then
  117. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt6 --hint-efi=hd1,gpt6 --hint-baremetal=ahci1,gpt6 88c559e1-7ac0-4966-bbce-0c1d072e1b11
  118. else
  119. search --no-floppy --fs-uuid --set=root 88c559e1-7ac0-4966-bbce-0c1d072e1b11
  120. fi
  121. echo 'Loading Linux 4.4.39-gentoo ...'
  122. linux /boot/vmlinuz-4.4.39-gentoo root=/dev/sdb6 ro rootfstype=ext4 splash=silent,theme:natural_gentoo console=tty1 quiet
  123. }
  124. menuentry 'Gentoo GNU/Linux, with Linux 4.4.39-gentoo (recovery mode)' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.39-gentoo-recovery-88c559e1-7ac0-4966-bbce-0c1d072e1b11' {
  125. load_video
  126. set gfxpayload=keep
  127. insmod gzio
  128. insmod part_gpt
  129. insmod ext2
  130. set root='hd1,gpt6'
  131. if [ x$feature_platform_search_hint = xy ]; then
  132. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt6 --hint-efi=hd1,gpt6 --hint-baremetal=ahci1,gpt6 88c559e1-7ac0-4966-bbce-0c1d072e1b11
  133. else
  134. search --no-floppy --fs-uuid --set=root 88c559e1-7ac0-4966-bbce-0c1d072e1b11
  135. fi
  136. echo 'Loading Linux 4.4.39-gentoo ...'
  137. linux /boot/vmlinuz-4.4.39-gentoo root=/dev/sdb6 ro single
  138. }
  139. }
  141. ### END /etc/grub.d/10_linux ###
  143. ### BEGIN /etc/grub.d/20_linux_xen ###
  144. ### END /etc/grub.d/20_linux_xen ###
  146. ### BEGIN /etc/grub.d/30_os-prober ###
  147. ### END /etc/grub.d/30_os-prober ###
  149. ### BEGIN /etc/grub.d/40_custom ###
  150. # This file provides an easy way to add custom menu entries. Simply type the
  151. # menu entries you want to add after this comment. Be careful not to change
  152. # the 'exec tail' line above.
  153. ### END /etc/grub.d/40_custom ###
  155. ### BEGIN /etc/grub.d/41_custom ###
  156. if [ -f ${config_directory}/custom.cfg ]; then
  157. source ${config_directory}/custom.cfg
  158. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  159. source $prefix/custom.cfg;
  160. fi
  161. ### END /etc/grub.d/41_custom ###
  162.  
Powered by spacepaste. Paste removal.