API tools faq
paste
Guest User

Untitled

a guest
Apr 4th, 2013
35
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 6.00 KB | None | 0 0
raw download clone embed print report
  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.   set have_grubenv=true
  11.   load_env
  12. fi
  13. set default="0"
  14.  
  15. if [ x"${feature_menuentry_id}" = xy ]; then
  16.   menuentry_id_option="--id"
  17. else
  18.   menuentry_id_option=""
  19. fi
  20.  
  21. export menuentry_id_option
  22.  
  23. if [ "${prev_saved_entry}" ]; then
  24.   set saved_entry="${prev_saved_entry}"
  25.   save_env saved_entry
  26.   set prev_saved_entry=
  27.   save_env prev_saved_entry
  28.   set boot_once=true
  29. fi
  30.  
  31. function savedefault {
  32.   if [ -z "${boot_once}" ]; then
  33.     saved_entry="${chosen}"
  34.     save_env saved_entry
  35.   fi
  36. }
  37.  
  38. function recordfail {
  39.   set recordfail=1
  40.   if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; fi
  41. }
  42.  
  43. function load_video {
  44.   if [ x$feature_all_video_module = xy ]; then
  45.     insmod all_video
  46.   else
  47.     insmod efi_gop
  48.     insmod efi_uga
  49.     insmod ieee1275_fb
  50.     insmod vbe
  51.     insmod vga
  52.     insmod video_bochs
  53.     insmod video_cirrus
  54.   fi
  55. }
  56.  
  57. if [ x$feature_default_font_path = xy ] ; then
  58.    font=unicode
  59. else
  60. insmod part_msdos
  61. insmod ext2
  62. set root='hd3,msdos1'
  63. if [ x$feature_platform_search_hint = xy ]; then
  64.   search --no-floppy --fs-uuid --set=root --hint-bios=hd3,msdos1 --hint-efi=hd3,msdos1 --hint-baremetal=ahci3,msdos1  f42ed6e2-7866-4be1-8a89-baa89b7070cc
  65. else
  66.   search --no-floppy --fs-uuid --set=root f42ed6e2-7866-4be1-8a89-baa89b7070cc
  67. fi
  68.     font="/usr/share/grub/unicode.pf2"
  69. fi
  70.  
  71. if loadfont $font ; then
  72.   set gfxmode=auto
  73.   load_video
  74.   insmod gfxterm
  75.   set locale_dir=$prefix/locale
  76.   set lang=C
  77.   insmod gettext
  78. fi
  79. terminal_output gfxterm
  80. if [ "${recordfail}" = 1 ]; then
  81.   set timeout=-1
  82. else
  83.   set timeout=10
  84. fi
  85. ### END /etc/grub.d/00_header ###
  86.  
  87. ### BEGIN /etc/grub.d/05_debian_theme ###
  88. set menu_color_normal=white/black
  89. set menu_color_highlight=black/light-gray
  90. ### END /etc/grub.d/05_debian_theme ###
  91.  
  92. ### BEGIN /etc/grub.d/10_linux ###
  93. function gfxmode {
  94.     set gfxpayload="${1}"
  95.     if [ "${1}" = "keep" ]; then
  96.         set vt_handoff=vt.handoff=7
  97.     else
  98.         set vt_handoff=
  99.     fi
  100. }
  101. if [ "${recordfail}" != 1 ]; then
  102.   if [ -e ${prefix}/gfxblacklist.txt ]; then
  103.     if hwmatch ${prefix}/gfxblacklist.txt 3; then
  104.       if [ ${match} = 0 ]; then
  105.         set linux_gfx_mode=keep
  106.       else
  107.         set linux_gfx_mode=text
  108.       fi
  109.     else
  110.       set linux_gfx_mode=text
  111.     fi
  112.   else
  113.     set linux_gfx_mode=keep
  114.   fi
  115. else
  116.   set linux_gfx_mode=text
  117. fi
  118. export linux_gfx_mode
  119. if [ "${linux_gfx_mode}" != "text" ]; then load_video; fi
  120. menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-f42ed6e2-7866-4be1-8a89-baa89b7070cc' {
  121. recordfail
  122.     gfxmode $linux_gfx_mode
  123.     insmod gzio
  124.     insmod part_msdos
  125.     insmod ext2
  126.     set root='hd0,msdos1'
  127.     if [ x$feature_platform_search_hint = xy ]; then
  128.       search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1  72563fef-0e85-4b5b-bf21-cb01c222f8bb
  129.     else
  130.       search --no-floppy --fs-uuid --set=root 72563fef-0e85-4b5b-bf21-cb01c222f8bb
  131.     fi
  132.     linux   /vmlinuz-3.5.0-17-generic root=UUID=f42ed6e2-7866-4be1-8a89-baa89b7070cc ro   splash quiet $vt_handoff
  133.     initrd  /initrd.img-3.5.0-17-generic
  134. }
  135. submenu 'Advanced options for Ubuntu' $menuentry_id_option 'gnulinux-advanced-f42ed6e2-7866-4be1-8a89-baa89b7070cc' {
  136.     menuentry 'Ubuntu, with Linux 3.5.0-17-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.5.0-17-generic-advanced-f42ed6e2-7866-4be1-8a89-baa89b7070cc' {
  137.     recordfail
  138.         gfxmode $linux_gfx_mode
  139.         insmod gzio
  140.         insmod part_msdos
  141.         insmod ext2
  142.         set root='hd0,msdos1'
  143.         if [ x$feature_platform_search_hint = xy ]; then
  144.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1  72563fef-0e85-4b5b-bf21-cb01c222f8bb
  145.         else
  146.           search --no-floppy --fs-uuid --set=root 72563fef-0e85-4b5b-bf21-cb01c222f8bb
  147.         fi
  148.         echo    'Loading Linux 3.5.0-17-generic ...'
  149.         linux   /vmlinuz-3.5.0-17-generic root=UUID=f42ed6e2-7866-4be1-8a89-baa89b7070cc ro   splash quiet $vt_handoff
  150.         echo    'Loading initial ramdisk ...'
  151.         initrd  /initrd.img-3.5.0-17-generic
  152.     }
  153.     menuentry 'Ubuntu, with Linux 3.5.0-17-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.5.0-17-generic-recovery-f42ed6e2-7866-4be1-8a89-baa89b7070cc' {
  154.     recordfail
  155.         insmod gzio
  156.         insmod part_msdos
  157.         insmod ext2
  158.         set root='hd0,msdos1'
  159.         if [ x$feature_platform_search_hint = xy ]; then
  160.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1  72563fef-0e85-4b5b-bf21-cb01c222f8bb
  161.         else
  162.           search --no-floppy --fs-uuid --set=root 72563fef-0e85-4b5b-bf21-cb01c222f8bb
  163.         fi
  164.         echo    'Loading Linux 3.5.0-17-generic ...'
  165.         linux   /vmlinuz-3.5.0-17-generic root=UUID=f42ed6e2-7866-4be1-8a89-baa89b7070cc ro recovery nomodeset
  166.         echo    'Loading initial ramdisk ...'
  167.         initrd  /initrd.img-3.5.0-17-generic
  168.     }
  169. }
  170.  
  171. ### END /etc/grub.d/10_linux ###
  172.  
  173. ### BEGIN /etc/grub.d/20_linux_xen ###
  174.  
  175. ### END /etc/grub.d/20_linux_xen ###
  176.  
  177. ### BEGIN /etc/grub.d/20_memtest86+ ###
  178. ### END /etc/grub.d/20_memtest86+ ###
  179.  
  180. ### BEGIN /etc/grub.d/30_os-prober ###
  181. ### END /etc/grub.d/30_os-prober ###
  182.  
  183. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  184. ### END /etc/grub.d/30_uefi-firmware ###
  185.  
  186. ### BEGIN /etc/grub.d/40_custom ###
  187. # This file provides an easy way to add custom menu entries.  Simply type the
  188. # menu entries you want to add after this comment.  Be careful not to change
  189. # the 'exec tail' line above.
  190. ### END /etc/grub.d/40_custom ###
  191.  
  192. ### BEGIN /etc/grub.d/41_custom ###
  193. if [ -f  ${config_directory}/custom.cfg ]; then
  194.   source ${config_directory}/custom.cfg
  195. elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  196.   source $prefix/custom.cfg;
  197. fi
  198. ### END /etc/grub.d/41_custom ###
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
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
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!