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. if [ x$feature_platform_search_hint = xy ]; then
  65. search --no-floppy --fs-uuid --set=root 50da16cf-8780-4e54-a1de-39616dd276bb
  66. else
  67. search --no-floppy --fs-uuid --set=root 50da16cf-8780-4e54-a1de-39616dd276bb
  68. fi
  69. font="/usr/share/grub/unicode.pf2"
  70. fi
  72. if loadfont $font ; then
  73. set gfxmode=auto
  74. load_video
  75. insmod gfxterm
  76. set locale_dir=$prefix/locale
  77. set lang=en_US
  78. insmod gettext
  79. fi
  80. terminal_output gfxterm
  81. if [ x$feature_timeout_style = xy ] ; then
  82. set timeout_style=menu
  83. set timeout=5
  84. # Fallback normal timeout code in case the timeout_style feature is
  85. # unavailable.
  86. else
  87. set timeout=5
  88. fi
  89. ### END /etc/grub.d/00_header ###
  91. ### BEGIN /etc/grub.d/10_linux ###
  92. menuentry 'Gentoo GNU/Linux' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-50da16cf-8780-4e54-a1de-39616dd276bb' {
  93. load_video
  94. if [ "x$grub_platform" = xefi ]; then
  95. set gfxpayload=keep
  96. fi
  97. insmod gzio
  98. insmod part_gpt
  99. insmod ext2
  100. if [ x$feature_platform_search_hint = xy ]; then
  101. search --no-floppy --fs-uuid --set=root 50da16cf-8780-4e54-a1de-39616dd276bb
  102. else
  103. search --no-floppy --fs-uuid --set=root 50da16cf-8780-4e54-a1de-39616dd276bb
  104. fi
  105. echo 'Loading Linux 4.17.10-gentoo ...'
  106. linux /boot/vmlinuz-4.17.10-gentoo root=/dev/nvme0n1p2 ro
  107. }
  108. submenu 'Advanced options for Gentoo GNU/Linux' $menuentry_id_option 'gnulinux-advanced-50da16cf-8780-4e54-a1de-39616dd276bb' {
  109. menuentry 'Gentoo GNU/Linux, with Linux 4.17.10-gentoo' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.17.10-gentoo-advanced-50da16cf-8780-4e54-a1de-39616dd276bb' {
  110. load_video
  111. if [ "x$grub_platform" = xefi ]; then
  112. set gfxpayload=keep
  113. fi
  114. insmod gzio
  115. insmod part_gpt
  116. insmod ext2
  117. if [ x$feature_platform_search_hint = xy ]; then
  118. search --no-floppy --fs-uuid --set=root 50da16cf-8780-4e54-a1de-39616dd276bb
  119. else
  120. search --no-floppy --fs-uuid --set=root 50da16cf-8780-4e54-a1de-39616dd276bb
  121. fi
  122. echo 'Loading Linux 4.17.10-gentoo ...'
  123. linux /boot/vmlinuz-4.17.10-gentoo root=/dev/nvme0n1p2 ro
  124. }
  125. menuentry 'Gentoo GNU/Linux, with Linux 4.17.10-gentoo (recovery mode)' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.17.10-gentoo-recovery-50da16cf-8780-4e54-a1de-39616dd276bb' {
  126. load_video
  127. if [ "x$grub_platform" = xefi ]; then
  128. set gfxpayload=keep
  129. fi
  130. insmod gzio
  131. insmod part_gpt
  132. insmod ext2
  133. if [ x$feature_platform_search_hint = xy ]; then
  134. search --no-floppy --fs-uuid --set=root 50da16cf-8780-4e54-a1de-39616dd276bb
  135. else
  136. search --no-floppy --fs-uuid --set=root 50da16cf-8780-4e54-a1de-39616dd276bb
  137. fi
  138. echo 'Loading Linux 4.17.10-gentoo ...'
  139. linux /boot/vmlinuz-4.17.10-gentoo root=/dev/nvme0n1p2 ro single
  140. }
  141. }
  143. ### END /etc/grub.d/10_linux ###
  145. ### BEGIN /etc/grub.d/20_linux_xen ###
  146. ### END /etc/grub.d/20_linux_xen ###
  148. ### BEGIN /etc/grub.d/30_os-prober ###
  149. ### END /etc/grub.d/30_os-prober ###
  151. ### BEGIN /etc/grub.d/40_custom ###
  152. # This file provides an easy way to add custom menu entries. Simply type the
  153. # menu entries you want to add after this comment. Be careful not to change
  154. # the 'exec tail' line above.
  155. ### END /etc/grub.d/40_custom ###
  157. ### BEGIN /etc/grub.d/41_custom ###
  158. if [ -f ${config_directory}/custom.cfg ]; then
  159. source ${config_directory}/custom.cfg
  160. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  161. source $prefix/custom.cfg;
  162. fi
  163. ### END /etc/grub.d/41_custom ###
  164.  
Powered by spacepaste. Paste removal.