API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Apr 29th, 2014
251
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 9.02 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. 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 [ x$feature_default_font_path = xy ] ; then
  52.    font=unicode
  53. else
  54. insmod part_gpt
  55. insmod ext2
  56. set root='hd0,gpt1'
  57. if [ x$feature_platform_search_hint = xy ]; then
  58.   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  59. else
  60.   search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  61. fi
  62.     font="/usr/share/grub/unicode.pf2"
  63. fi
  64.  
  65. if loadfont $font ; then
  66.   set gfxmode=auto
  67.   load_video
  68.   insmod gfxterm
  69.   set locale_dir=$prefix/locale
  70.   set lang=en_US
  71.   insmod gettext
  72. fi
  73. terminal_output gfxterm
  74. if [ "${recordfail}" = 1 ] ; then
  75.   set timeout=-1
  76. else
  77.   set timeout=5
  78. fi
  79. ### END /etc/grub.d/00_header ###
  80.  
  81. ### BEGIN /etc/grub.d/05_debian_theme ###
  82. insmod part_gpt
  83. insmod ext2
  84. set root='hd0,gpt1'
  85. if [ x$feature_platform_search_hint = xy ]; then
  86.   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  87. else
  88.   search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  89. fi
  90. insmod png
  91. if background_image /usr/share/images/desktop-base/joy-grub.png; then
  92.   set color_normal=white/black
  93.   set color_highlight=black/white
  94. else
  95.   set menu_color_normal=cyan/blue
  96.   set menu_color_highlight=white/blue
  97. fi
  98. ### END /etc/grub.d/05_debian_theme ###
  99.  
  100. ### BEGIN /etc/grub.d/10_linux ###
  101. function gfxmode {
  102.     set gfxpayload="${1}"
  103. }
  104. set linux_gfx_mode=
  105. export linux_gfx_mode
  106. menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-81dbf880-7aaf-4768-93c0-7afb01fccb47' {
  107.     load_video
  108.     insmod gzio
  109.     insmod part_gpt
  110.     insmod ext2
  111.     set root='hd0,gpt1'
  112.     if [ x$feature_platform_search_hint = xy ]; then
  113.       search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  114.     else
  115.       search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  116.     fi
  117.     echo    'Loading Linux 3.14.0-pf1 ...'
  118.     linux   /boot/vmlinuz-3.14.0-pf1 root=UUID=81dbf880-7aaf-4768-93c0-7afb01fccb47 ro  quiet
  119.     echo    'Loading initial ramdisk ...'
  120.     initrd  /boot/initrd.img-3.14.0-pf1
  121. }
  122. submenu 'Advanced options for Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced-81dbf880-7aaf-4768-93c0-7afb01fccb47' {
  123.     menuentry 'Debian GNU/Linux, with Linux 3.14.0-pf1' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.14.0-pf1-advanced-81dbf880-7aaf-4768-93c0-7afb01fccb47' {
  124.         load_video
  125.         insmod gzio
  126.         insmod part_gpt
  127.         insmod ext2
  128.         set root='hd0,gpt1'
  129.         if [ x$feature_platform_search_hint = xy ]; then
  130.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  131.         else
  132.           search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  133.         fi
  134.         echo    'Loading Linux 3.14.0-pf1 ...'
  135.         linux   /boot/vmlinuz-3.14.0-pf1 root=UUID=81dbf880-7aaf-4768-93c0-7afb01fccb47 ro  quiet
  136.         echo    'Loading initial ramdisk ...'
  137.         initrd  /boot/initrd.img-3.14.0-pf1
  138.     }
  139.     menuentry 'Debian GNU/Linux, with Linux 3.14.0-pf1 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.14.0-pf1-recovery-81dbf880-7aaf-4768-93c0-7afb01fccb47' {
  140.         load_video
  141.         insmod gzio
  142.         insmod part_gpt
  143.         insmod ext2
  144.         set root='hd0,gpt1'
  145.         if [ x$feature_platform_search_hint = xy ]; then
  146.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  147.         else
  148.           search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  149.         fi
  150.         echo    'Loading Linux 3.14.0-pf1 ...'
  151.         linux   /boot/vmlinuz-3.14.0-pf1 root=UUID=81dbf880-7aaf-4768-93c0-7afb01fccb47 ro single
  152.         echo    'Loading initial ramdisk ...'
  153.         initrd  /boot/initrd.img-3.14.0-pf1
  154.     }
  155.     menuentry 'Debian GNU/Linux, with Linux 3.13.3-pf' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.3-pf-advanced-81dbf880-7aaf-4768-93c0-7afb01fccb47' {
  156.         load_video
  157.         insmod gzio
  158.         insmod part_gpt
  159.         insmod ext2
  160.         set root='hd0,gpt1'
  161.         if [ x$feature_platform_search_hint = xy ]; then
  162.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  163.         else
  164.           search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  165.         fi
  166.         echo    'Loading Linux 3.13.3-pf ...'
  167.         linux   /boot/vmlinuz-3.13.3-pf root=UUID=81dbf880-7aaf-4768-93c0-7afb01fccb47 ro  quiet
  168.         echo    'Loading initial ramdisk ...'
  169.         initrd  /boot/initrd.img-3.13.3-pf
  170.     }
  171.     menuentry 'Debian GNU/Linux, with Linux 3.13.3-pf (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.3-pf-recovery-81dbf880-7aaf-4768-93c0-7afb01fccb47' {
  172.         load_video
  173.         insmod gzio
  174.         insmod part_gpt
  175.         insmod ext2
  176.         set root='hd0,gpt1'
  177.         if [ x$feature_platform_search_hint = xy ]; then
  178.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  179.         else
  180.           search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  181.         fi
  182.         echo    'Loading Linux 3.13.3-pf ...'
  183.         linux   /boot/vmlinuz-3.13.3-pf root=UUID=81dbf880-7aaf-4768-93c0-7afb01fccb47 ro single
  184.         echo    'Loading initial ramdisk ...'
  185.         initrd  /boot/initrd.img-3.13.3-pf
  186.     }
  187.     menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-advanced-81dbf880-7aaf-4768-93c0-7afb01fccb47' {
  188.         load_video
  189.         insmod gzio
  190.         insmod part_gpt
  191.         insmod ext2
  192.         set root='hd0,gpt1'
  193.         if [ x$feature_platform_search_hint = xy ]; then
  194.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  195.         else
  196.           search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  197.         fi
  198.         echo    'Loading Linux 3.2.0-4-amd64 ...'
  199.         linux   /boot/vmlinuz-3.2.0-4-amd64 root=UUID=81dbf880-7aaf-4768-93c0-7afb01fccb47 ro  quiet
  200.         echo    'Loading initial ramdisk ...'
  201.         initrd  /boot/initrd.img-3.2.0-4-amd64
  202.     }
  203.     menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-recovery-81dbf880-7aaf-4768-93c0-7afb01fccb47' {
  204.         load_video
  205.         insmod gzio
  206.         insmod part_gpt
  207.         insmod ext2
  208.         set root='hd0,gpt1'
  209.         if [ x$feature_platform_search_hint = xy ]; then
  210.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 --hint='hd0,gpt1'  81dbf880-7aaf-4768-93c0-7afb01fccb47
  211.         else
  212.           search --no-floppy --fs-uuid --set=root 81dbf880-7aaf-4768-93c0-7afb01fccb47
  213.         fi
  214.         echo    'Loading Linux 3.2.0-4-amd64 ...'
  215.         linux   /boot/vmlinuz-3.2.0-4-amd64 root=UUID=81dbf880-7aaf-4768-93c0-7afb01fccb47 ro single
  216.         echo    'Loading initial ramdisk ...'
  217.         initrd  /boot/initrd.img-3.2.0-4-amd64
  218.     }
  219. }
  220.  
  221. ### END /etc/grub.d/10_linux ###
  222.  
  223. ### BEGIN /etc/grub.d/20_linux_xen ###
  224.  
  225. ### END /etc/grub.d/20_linux_xen ###
  226.  
  227. ### BEGIN /etc/grub.d/30_os-prober ###
  228. ### END /etc/grub.d/30_os-prober ###
  229.  
  230. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  231. ### END /etc/grub.d/30_uefi-firmware ###
  232.  
  233. ### BEGIN /etc/grub.d/40_custom ###
  234. # This file provides an easy way to add custom menu entries.  Simply type the
  235. # menu entries you want to add after this comment.  Be careful not to change
  236. # the 'exec tail' line above.
  237. ### END /etc/grub.d/40_custom ###
  238.  
  239. ### BEGIN /etc/grub.d/41_custom ###
  240. if [ -f  ${config_directory}/custom.cfg ]; then
  241.   source ${config_directory}/custom.cfg
  242. elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  243.   source $prefix/custom.cfg;
  244. fi
  245. ### END /etc/grub.d/41_custom ###
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
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!