Advertisement
Guest User

Untitled

a guest
Oct 6th, 2013
157
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.14 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. terminal_input console
  59. terminal_output console
  60. if sleep --verbose --interruptible 0 ; then
  61. set timeout=1
  62. fi
  63. ### END /etc/grub.d/00_header ###
  64.  
  65. ### BEGIN /etc/grub.d/10_linux ###
  66. menuentry 'Gentoo GNU/Linux' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-67687543-3021-4a30-97c2-e5a783e1f6e3' {
  67. load_video
  68. insmod gzio
  69. insmod part_gpt
  70. insmod ext2
  71. set root='hd0,gpt2'
  72. if [ x$feature_platform_search_hint = xy ]; then
  73. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 67687543-3021-4a30-97c2-e5a783e1f6e3
  74. else
  75. search --no-floppy --fs-uuid --set=root 67687543-3021-4a30-97c2-e5a783e1f6e3
  76. fi
  77. echo 'Loading Linux 3.10.7-gentoo-r1 ...'
  78. linux /boot/kernel-3.10.7-gentoo-r1 root=/dev/sda2 ro
  79. }
  80. submenu 'Advanced options for Gentoo GNU/Linux' $menuentry_id_option 'gnulinux-advanced-67687543-3021-4a30-97c2-e5a783e1f6e3' {
  81. menuentry 'Gentoo GNU/Linux, with Linux 3.10.7-gentoo-r1' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.10.7-gentoo-r1-advanced-67687543-3021-4a30-97c2-e5a783e1f6e3' {
  82. load_video
  83. insmod gzio
  84. insmod part_gpt
  85. insmod ext2
  86. set root='hd0,gpt2'
  87. if [ x$feature_platform_search_hint = xy ]; then
  88. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 67687543-3021-4a30-97c2-e5a783e1f6e3
  89. else
  90. search --no-floppy --fs-uuid --set=root 67687543-3021-4a30-97c2-e5a783e1f6e3
  91. fi
  92. echo 'Loading Linux 3.10.7-gentoo-r1 ...'
  93. linux /boot/kernel-3.10.7-gentoo-r1 root=/dev/sda2 ro
  94. }
  95. menuentry 'Gentoo GNU/Linux, with Linux 3.10.7-gentoo-r1 (recovery mode)' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.10.7-gentoo-r1-recovery-67687543-3021-4a30-97c2-e5a783e1f6e3' {
  96. load_video
  97. insmod gzio
  98. insmod part_gpt
  99. insmod ext2
  100. set root='hd0,gpt2'
  101. if [ x$feature_platform_search_hint = xy ]; then
  102. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 67687543-3021-4a30-97c2-e5a783e1f6e3
  103. else
  104. search --no-floppy --fs-uuid --set=root 67687543-3021-4a30-97c2-e5a783e1f6e3
  105. fi
  106. echo 'Loading Linux 3.10.7-gentoo-r1 ...'
  107. linux /boot/kernel-3.10.7-gentoo-r1 root=/dev/sda2 ro single
  108. }
  109. }
  110.  
  111. ### END /etc/grub.d/10_linux ###
  112.  
  113. ### BEGIN /etc/grub.d/20_linux_xen ###
  114. ### END /etc/grub.d/20_linux_xen ###
  115.  
  116. ### BEGIN /etc/grub.d/30_os-prober ###
  117. ### END /etc/grub.d/30_os-prober ###
  118.  
  119. ### BEGIN /etc/grub.d/40_custom ###
  120. # This file provides an easy way to add custom menu entries. Simply type the
  121. # menu entries you want to add after this comment. Be careful not to change
  122. # the 'exec tail' line above.
  123. ### END /etc/grub.d/40_custom ###
  124.  
  125. ### BEGIN /etc/grub.d/41_custom ###
  126. if [ -f ${config_directory}/custom.cfg ]; then
  127. source ${config_directory}/custom.cfg
  128. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  129. source $prefix/custom.cfg;
  130. fi
  131. ### END /etc/grub.d/41_custom ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement