Public Pastes
daily pastebin goal
60%
SHARE
TWEET

Untitled

a guest Dec 23rd, 2015 49 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.   set have_grubenv=true
  11.   load_env
  12. fi
  13. if [ "${next_entry}" ] ; then
  14.    set default="${next_entry}"
  15.    set next_entry=
  16.    save_env next_entry
  17.    set boot_once=true
  18. else
  19.    set default="0"
  20. fi
  21.  
  22. if [ x"${feature_menuentry_id}" = xy ]; then
  23.   menuentry_id_option="--id"
  24. else
  25.   menuentry_id_option=""
  26. fi
  27.  
  28. export menuentry_id_option
  29.  
  30. if [ "${prev_saved_entry}" ]; then
  31.   set saved_entry="${prev_saved_entry}"
  32.   save_env saved_entry
  33.   set prev_saved_entry=
  34.   save_env prev_saved_entry
  35.   set boot_once=true
  36. fi
  37.  
  38. function savedefault {
  39.   if [ -z "${boot_once}" ]; then
  40.     saved_entry="${chosen}"
  41.     save_env saved_entry
  42.   fi
  43. }
  44. function recordfail {
  45.   set recordfail=1
  46.   if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; fi
  47. }
  48. function load_video {
  49.   if [ x$feature_all_video_module = xy ]; then
  50.     insmod all_video
  51.   else
  52.     insmod efi_gop
  53.     insmod efi_uga
  54.     insmod ieee1275_fb
  55.     insmod vbe
  56.     insmod vga
  57.     insmod video_bochs
  58.     insmod video_cirrus
  59.   fi
  60. }
  61.  
  62. if [ x$feature_default_font_path = xy ] ; then
  63.    font=unicode
  64. else
  65. insmod part_gpt
  66. insmod ext2
  67. set root='hd0,gpt2'
  68. if [ x$feature_platform_search_hint = xy ]; then
  69.   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2  c3889632-9f94-4589-80e9-7b25f625c907
  70. else
  71.   search --no-floppy --fs-uuid --set=root c3889632-9f94-4589-80e9-7b25f625c907
  72. fi
  73.     font="/usr/share/grub/unicode.pf2"
  74. fi
  75.  
  76. if loadfont $font ; then
  77.   set gfxmode=auto
  78.   load_video
  79.   insmod gfxterm
  80.   set locale_dir=$prefix/locale
  81.   set lang=en_US
  82.   insmod gettext
  83. fi
  84. terminal_output gfxterm
  85. if [ "${recordfail}" = 1 ] ; then
  86.   set timeout=30
  87. else
  88.   if [ x$feature_timeout_style = xy ] ; then
  89.     set timeout_style=hidden
  90.     set timeout=0
  91.   # Fallback hidden-timeout code in case the timeout_style feature is
  92.   # unavailable.
  93.   elif sleep --interruptible 0 ; then
  94.     set timeout=0
  95.   fi
  96. fi
  97. ### END /etc/grub.d/00_header ###
  98.  
  99. ### BEGIN /etc/grub.d/05_debian_theme ###
  100. set menu_color_normal=white/black
  101. set menu_color_highlight=black/light-gray
  102. ### END /etc/grub.d/05_debian_theme ###
  103.  
  104. ### BEGIN /etc/grub.d/10_linux ###
  105. function gfxmode {
  106.     set gfxpayload="${1}"
  107.     if [ "${1}" = "keep" ]; then
  108.         set vt_handoff=vt.handoff=7
  109.     else
  110.         set vt_handoff=
  111.     fi
  112. }
  113. if [ "${recordfail}" != 1 ]; then
  114.   if [ -e ${prefix}/gfxblacklist.txt ]; then
  115.     if hwmatch ${prefix}/gfxblacklist.txt 3; then
  116.       if [ ${match} = 0 ]; then
  117.         set linux_gfx_mode=keep
  118.       else
  119.         set linux_gfx_mode=text
  120.       fi
  121.     else
  122.       set linux_gfx_mode=text
  123.     fi
  124.   else
  125.     set linux_gfx_mode=keep
  126.   fi
  127. else
  128.   set linux_gfx_mode=text
  129. fi
  130. export linux_gfx_mode
  131. menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-c3889632-9f94-4589-80e9-7b25f625c907' {
  132.     recordfail
  133.     load_video
  134.     gfxmode $linux_gfx_mode
  135.     insmod gzio
  136.     if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  137.     insmod part_gpt
  138.     insmod ext2
  139.     set root='hd0,gpt2'
  140.     if [ x$feature_platform_search_hint = xy ]; then
  141.       search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2  c3889632-9f94-4589-80e9-7b25f625c907
  142.     else
  143.       search --no-floppy --fs-uuid --set=root c3889632-9f94-4589-80e9-7b25f625c907
  144.     fi
  145.     linux   /boot/vmlinuz-4.2.0-22-generic.efi.signed root=UUID=c3889632-9f94-4589-80e9-7b25f625c907 ro  quiet splash $vt_handoff
  146.     initrd  /boot/initrd.img-4.2.0-22-generic
  147. }
  148. submenu 'Advanced options for Ubuntu' $menuentry_id_option 'gnulinux-advanced-c3889632-9f94-4589-80e9-7b25f625c907' {
  149.     menuentry 'Ubuntu, with Linux 4.2.0-22-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.2.0-22-generic-advanced-c3889632-9f94-4589-80e9-7b25f625c907' {
  150.         recordfail
  151.         load_video
  152.         gfxmode $linux_gfx_mode
  153.         insmod gzio
  154.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  155.         insmod part_gpt
  156.         insmod ext2
  157.         set root='hd0,gpt2'
  158.         if [ x$feature_platform_search_hint = xy ]; then
  159.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2  c3889632-9f94-4589-80e9-7b25f625c907
  160.         else
  161.           search --no-floppy --fs-uuid --set=root c3889632-9f94-4589-80e9-7b25f625c907
  162.         fi
  163.         echo    'Loading Linux 4.2.0-22-generic ...'
  164.         linux   /boot/vmlinuz-4.2.0-22-generic.efi.signed root=UUID=c3889632-9f94-4589-80e9-7b25f625c907 ro  quiet splash $vt_handoff
  165.         echo    'Loading initial ramdisk ...'
  166.         initrd  /boot/initrd.img-4.2.0-22-generic
  167.     }
  168.     menuentry 'Ubuntu, with Linux 4.2.0-22-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.2.0-22-generic-recovery-c3889632-9f94-4589-80e9-7b25f625c907' {
  169.         recordfail
  170.         load_video
  171.         insmod gzio
  172.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  173.         insmod part_gpt
  174.         insmod ext2
  175.         set root='hd0,gpt2'
  176.         if [ x$feature_platform_search_hint = xy ]; then
  177.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2  c3889632-9f94-4589-80e9-7b25f625c907
  178.         else
  179.           search --no-floppy --fs-uuid --set=root c3889632-9f94-4589-80e9-7b25f625c907
  180.         fi
  181.         echo    'Loading Linux 4.2.0-22-generic ...'
  182.         linux   /boot/vmlinuz-4.2.0-22-generic.efi.signed root=UUID=c3889632-9f94-4589-80e9-7b25f625c907 ro recovery nomodeset
  183.         echo    'Loading initial ramdisk ...'
  184.         initrd  /boot/initrd.img-4.2.0-22-generic
  185.     }
  186.     menuentry 'Ubuntu, with Linux 4.2.0-16-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.2.0-16-generic-advanced-c3889632-9f94-4589-80e9-7b25f625c907' {
  187.         recordfail
  188.         load_video
  189.         gfxmode $linux_gfx_mode
  190.         insmod gzio
  191.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  192.         insmod part_gpt
  193.         insmod ext2
  194.         set root='hd0,gpt2'
  195.         if [ x$feature_platform_search_hint = xy ]; then
  196.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2  c3889632-9f94-4589-80e9-7b25f625c907
  197.         else
  198.           search --no-floppy --fs-uuid --set=root c3889632-9f94-4589-80e9-7b25f625c907
  199.         fi
  200.         echo    'Loading Linux 4.2.0-16-generic ...'
  201.         linux   /boot/vmlinuz-4.2.0-16-generic root=UUID=c3889632-9f94-4589-80e9-7b25f625c907 ro  quiet splash $vt_handoff
  202.         echo    'Loading initial ramdisk ...'
  203.         initrd  /boot/initrd.img-4.2.0-16-generic
  204.     }
  205.     menuentry 'Ubuntu, with Linux 4.2.0-16-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.2.0-16-generic-recovery-c3889632-9f94-4589-80e9-7b25f625c907' {
  206.         recordfail
  207.         load_video
  208.         insmod gzio
  209.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  210.         insmod part_gpt
  211.         insmod ext2
  212.         set root='hd0,gpt2'
  213.         if [ x$feature_platform_search_hint = xy ]; then
  214.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2  c3889632-9f94-4589-80e9-7b25f625c907
  215.         else
  216.           search --no-floppy --fs-uuid --set=root c3889632-9f94-4589-80e9-7b25f625c907
  217.         fi
  218.         echo    'Loading Linux 4.2.0-16-generic ...'
  219.         linux   /boot/vmlinuz-4.2.0-16-generic root=UUID=c3889632-9f94-4589-80e9-7b25f625c907 ro recovery nomodeset
  220.         echo    'Loading initial ramdisk ...'
  221.         initrd  /boot/initrd.img-4.2.0-16-generic
  222.     }
  223. }
  224.  
  225. ### END /etc/grub.d/10_linux ###
  226.  
  227. ### BEGIN /etc/grub.d/20_linux_xen ###
  228.  
  229. ### END /etc/grub.d/20_linux_xen ###
  230.  
  231. ### BEGIN /etc/grub.d/20_memtest86+ ###
  232. ### END /etc/grub.d/20_memtest86+ ###
  233.  
  234. ### BEGIN /etc/grub.d/30_os-prober ###
  235. ### END /etc/grub.d/30_os-prober ###
  236.  
  237. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  238. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  239.     fwsetup
  240. }
  241. ### END /etc/grub.d/30_uefi-firmware ###
  242.  
  243. ### BEGIN /etc/grub.d/40_custom ###
  244. # This file provides an easy way to add custom menu entries.  Simply type the
  245. # menu entries you want to add after this comment.  Be careful not to change
  246. # the 'exec tail' line above.
  247. ### END /etc/grub.d/40_custom ###
  248.  
  249. ### BEGIN /etc/grub.d/41_custom ###
  250. if [ -f  ${config_directory}/custom.cfg ]; then
  251.   source ${config_directory}/custom.cfg
  252. elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  253.   source $prefix/custom.cfg;
  254. fi
  255. ### END /etc/grub.d/41_custom ###
RAW Paste Data
Top