Advertisement
Guest User

Untitled

a guest
Feb 20th, 2014
75
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.67 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. insmod vbe
  46. }
  47.  
  48. if loadfont unicode ; then
  49. set gfxmode=640x480
  50. load_video
  51. insmod gfxterm
  52. set locale_dir=$prefix/locale
  53. set lang=
  54. insmod gettext
  55. fi
  56. terminal_output gfxterm
  57. if sleep --interruptible 0 ; then
  58. set timeout=10
  59. fi
  60. ### END /etc/grub.d/00_header ###
  61.  
  62. ### BEGIN /etc/grub.d/10_linux ###
  63. menuentry 'Gentoo GNU/Linux' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-3040ad5f-dc72-4d55-a9c5-9e70d8d2af4f' {
  64. load_video
  65. set gfxpayload=640x480
  66. insmod gzio
  67. insmod part_msdos
  68. insmod ext2
  69. set root='hd0,msdos1'
  70. if [ x$feature_platform_search_hint = xy ]; then
  71. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' 1827a922-6faf-49d2-b6d9-8cdbe5255347
  72. else
  73. search --no-floppy --fs-uuid --set=root 1827a922-6faf-49d2-b6d9-8cdbe5255347
  74. fi
  75. echo 'Loading Linux 3.2.1-gentoo-r2 ...'
  76. linux /kernel-3.2.1-gentoo-r2 root=/dev/sda3 ro
  77. }
  78. submenu 'Advanced options for Gentoo GNU/Linux' $menuentry_id_option 'gnulinux-advanced-3040ad5f-dc72-4d55-a9c5-9e70d8d2af4f' {
  79. menuentry 'Gentoo GNU/Linux, with Linux 3.2.1-gentoo-r2' --class gentoo
  80. --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.1-gentoo-r2-advanced-3040ad5f-dc72-4d55-a9c5-9e70d8d2af4f' {
  81. load_video
  82. set gfxpayload=640x480
  83. insmod gzio
  84. insmod part_msdos
  85. insmod ext2
  86. set root='hd0,msdos1'
  87. if [ x$feature_platform_search_hint = xy ]; then
  88. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' 1827a922-6faf-49d2-b6d9-8cdbe5255347
  89. else
  90. search --no-floppy --fs-uuid --set=root 1827a922-6faf-49d2-b6d9-8cdbe5255347
  91. fi
  92. echo 'Loading Linux 3.2.1-gentoo-r2 ...'
  93. linux /kernel-3.2.1-gentoo-r2 root=/dev/sda3 ro
  94. }
  95. menuentry 'Gentoo GNU/Linux, with Linux 3.2.1-gentoo-r2 (recovery mode)' --class gentoo --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.1-gentoo-r2-recovery-3040ad5f-dc72-4d55-a9c5-9e70d8d2af4f' {
  96. load_video
  97. set gfxpayload=640x480
  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 --hint='hd0,msdos1' 1827a922-6faf-49d2-b6d9-8cdbe5255347
  104. else
  105. search --no-floppy --fs-uuid --set=root 1827a922-6faf-49d2-b6d9-8cdbe5255347
  106. fi
  107. echo 'Loading Linux 3.2.1-gentoo-r2 ...'
  108. linux /kernel-3.2.1-gentoo-r2 root=/dev/sda3 ro single
  109. }
  110. }
  111.  
  112. ### END /etc/grub.d/10_linux ###
  113.  
  114. ### BEGIN /etc/grub.d/20_linux_xen ###
  115. ### END /etc/grub.d/20_linux_xen ###
  116.  
  117. ### BEGIN /etc/grub.d/30_os-prober ###
  118. ### END /etc/grub.d/30_os-prober ###
  119.  
  120. ### BEGIN /etc/grub.d/40_custom ###
  121. # This file provides an easy way to add custom menu entries. Simply type the
  122. # menu entries you want to add after this comment. Be careful not to change
  123. # the 'exec tail' line above.
  124. ### END /etc/grub.d/40_custom ###
  125.  
  126. ### BEGIN /etc/grub.d/41_custom ###
  127. if [ -f ${config_directory}/custom.cfg ]; then
  128. source ${config_directory}/custom.cfg
  129. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  130. source $prefix/custom.cfg;
  131. fi
  132. ### END /etc/grub.d/41_custom ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement