SHARE
TWEET

grub.cfg

razec Jan 31st, 2015 153 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #
  2. # DO NOT EDIT THIS FILE
  3. #
  4. # It is automatically generated by grub-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. set default="0"
  13.  
  14. if [ x"${feature_menuentry_id}" = xy ]; then
  15.   menuentry_id_option="--id"
  16. else
  17.   menuentry_id_option=""
  18. fi
  19.  
  20. export menuentry_id_option
  21.  
  22. if [ "${prev_saved_entry}" ]; then
  23.   set saved_entry="${prev_saved_entry}"
  24.   save_env saved_entry
  25.   set prev_saved_entry=
  26.   save_env prev_saved_entry
  27.   set boot_once=true
  28. fi
  29.  
  30. function savedefault {
  31.   if [ -z "${boot_once}" ]; then
  32.     saved_entry="${chosen}"
  33.     save_env saved_entry
  34.   fi
  35. }
  36.  
  37. function load_video {
  38.   if [ x$feature_all_video_module = xy ]; then
  39.     insmod all_video
  40.   else
  41.     insmod efi_gop
  42.     insmod efi_uga
  43.     insmod ieee1275_fb
  44.     insmod vbe
  45.     insmod vga
  46.     insmod video_bochs
  47.     insmod video_cirrus
  48.   fi
  49. }
  50.  
  51. if loadfont unicode ; then
  52.   set gfxmode=auto
  53.   load_video
  54.   insmod gfxterm
  55.   set locale_dir=$prefix/locale
  56.   set lang=
  57.   insmod gettext
  58. fi
  59. terminal_output gfxterm
  60. set timeout=5
  61. ### END /etc/grub.d/00_header ###
  62.  
  63. ### BEGIN /etc/grub.d/10_linux ###
  64. menuentry 'GNU/Linux' --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-98ece8d4-ef04-48a6-a58e-c65431467f1f' {
  65.         load_video
  66.         insmod gzio
  67.         insmod part_msdos
  68.         insmod ext2
  69.         set root='hd4,msdos1'
  70.         if [ x$feature_platform_search_hint = xy ]; then
  71.           search --no-floppy --fs-uuid --set=root --hint-bios=hd4,msdos1 --hint-efi=hd4,msdos1 --hint-baremetal=ahci4,msdos1  98ece8d4-ef04-48a6-a58e-c65431467f1f
  72.         else
  73.           search --no-floppy --fs-uuid --set=root 98ece8d4-ef04-48a6-a58e-c65431467f1f
  74.         fi
  75.         echo    'Loading Linux 3.18.4 ...'
  76.         linux   /boot/vmlinuz-3.18.4 root=/dev/sde1 ro  
  77. }
  78. submenu 'Advanced options for GNU/Linux' $menuentry_id_option 'gnulinux-advanced-98ece8d4-ef04-48a6-a58e-c65431467f1f' {
  79.         menuentry 'GNU/Linux, with Linux 3.18.4' --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.18.4-advanced-98ece8d4-ef04-48a6-a58e-c65431467f1f' {
  80.                 load_video
  81.                 insmod gzio
  82.                 insmod part_msdos
  83.                 insmod ext2
  84.                 set root='hd4,msdos1'
  85.                 if [ x$feature_platform_search_hint = xy ]; then
  86.                   search --no-floppy --fs-uuid --set=root --hint-bios=hd4,msdos1 --hint-efi=hd4,msdos1 --hint-baremetal=ahci4,msdos1  98ece8d4-ef04-48a6-a58e-c65431467f1f
  87.                 else
  88.                   search --no-floppy --fs-uuid --set=root 98ece8d4-ef04-48a6-a58e-c65431467f1f
  89.                 fi
  90.                 echo    'Loading Linux 3.18.4 ...'
  91.                 linux   /boot/vmlinuz-3.18.4 root=/dev/sde1 ro  
  92.         }
  93.         menuentry 'GNU/Linux, with Linux 3.18.4 (recovery mode)' --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.18.4-recovery-98ece8d4-ef04-48a6-a58e-c65431467f1f' {
  94.                 load_video
  95.                 insmod gzio
  96.                 insmod part_msdos
  97.                 insmod ext2
  98.                 set root='hd4,msdos1'
  99.                 if [ x$feature_platform_search_hint = xy ]; then
  100.                   search --no-floppy --fs-uuid --set=root --hint-bios=hd4,msdos1 --hint-efi=hd4,msdos1 --hint-baremetal=ahci4,msdos1  98ece8d4-ef04-48a6-a58e-c65431467f1f
  101.                 else
  102.                   search --no-floppy --fs-uuid --set=root 98ece8d4-ef04-48a6-a58e-c65431467f1f
  103.                 fi
  104.                 echo    'Loading Linux 3.18.4 ...'
  105.                 linux   /boot/vmlinuz-3.18.4 root=/dev/sde1 ro single
  106.         }
  107. #       menuentry 'GNU/Linux, with Linux 3.12.24' --class gnu-linux
  108. #--class gnu --class os $menuentry_id_option
  109. #'gnulinux-3.12.24-advanced-98ece8d4-ef04-48a6-a58e-c65431467f1f' {
  110. #               load_video
  111. #               insmod gzio
  112. #               insmod part_msdos
  113. #               insmod ext2
  114. #               set root='hd4,msdos1'
  115. #               if [ x$feature_platform_search_hint = xy ]; then
  116. #                 search --no-floppy --fs-uuid --set=root
  117. #--hint-bios=hd4,msdos1 --hint-efi=hd4,msdos1
  118. #--hint-baremetal=ahci4,msdos1  98ece8d4-ef04-48a6-a58e-c65431467f1f
  119. #               else
  120. #                 search --no-floppy --fs-uuid --set=root
  121. #98ece8d4-ef04-48a6-a58e-c65431467f1f
  122. #               fi
  123. #               echo    'Loading Linux 3.12.24 ...'
  124. #               linux   /boot/vmlinuz-3.12.24 root=/dev/sde1 ro  
  125. #       }
  126. #       menuentry 'GNU/Linux, with Linux 3.12.24 (recovery mode)'
  127. #--class gnu-linux --class gnu --class os $menuentry_id_option
  128. #'gnulinux-3.12.24-recovery-98ece8d4-ef04-48a6-a58e-c65431467f1f' {
  129. #               load_video
  130. #               insmod gzio
  131. #               insmod part_msdos
  132. #               insmod ext2
  133. #               set root='hd4,msdos1'
  134. #               if [ x$feature_platform_search_hint = xy ]; then
  135. #                 search --no-floppy --fs-uuid --set=root
  136. #--hint-bios=hd4,msdos1 --hint-efi=hd4,msdos1
  137. #--hint-baremetal=ahci4,msdos1  98ece8d4-ef04-48a6-a58e-c65431467f1f
  138. #               else
  139. #                 search --no-floppy --fs-uuid --set=root
  140. #98ece8d4-ef04-48a6-a58e-c65431467f1f
  141. #               fi
  142. #               echo    'Loading Linux 3.12.24 ...'
  143. #               linux   /boot/vmlinuz-3.12.24 root=/dev/sde1 ro single
  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 ###
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top