SHARE
TWEET

Untitled

a guest Aug 14th, 2019 69 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,gpt1'
  68. if [ x$feature_platform_search_hint = xy ]; then
  69.   search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1  729c4010-ef72-450a-b914-cd65dcaa7941
  70. else
  71.   search --no-floppy --fs-uuid --set=root 729c4010-ef72-450a-b914-cd65dcaa7941
  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=5
  91.   # Fallback hidden-timeout code in case the timeout_style feature is
  92.   # unavailable.
  93.   elif sleep --interruptible 5 ; 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. if background_color 44,0,30,0; then
  103.   clear
  104. fi
  105. ### END /etc/grub.d/05_debian_theme ###
  106.  
  107. ### BEGIN /etc/grub.d/10_linux ###
  108. function gfxmode {
  109.     set gfxpayload="${1}"
  110.     if [ "${1}" = "keep" ]; then
  111.         set vt_handoff=vt.handoff=1
  112.     else
  113.         set vt_handoff=
  114.     fi
  115. }
  116. if [ "${recordfail}" != 1 ]; then
  117.   if [ -e ${prefix}/gfxblacklist.txt ]; then
  118.     if hwmatch ${prefix}/gfxblacklist.txt 3; then
  119.       if [ ${match} = 0 ]; then
  120.         set linux_gfx_mode=keep
  121.       else
  122.         set linux_gfx_mode=text
  123.       fi
  124.     else
  125.       set linux_gfx_mode=text
  126.     fi
  127.   else
  128.     set linux_gfx_mode=keep
  129.   fi
  130. else
  131.   set linux_gfx_mode=text
  132. fi
  133. export linux_gfx_mode
  134. menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-729c4010-ef72-450a-b914-cd65dcaa7941' {
  135.     recordfail
  136.     load_video
  137.     gfxmode $linux_gfx_mode
  138.     insmod gzio
  139.     if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  140.     insmod part_gpt
  141.     insmod ext2
  142.     set root='hd0,gpt1'
  143.     if [ x$feature_platform_search_hint = xy ]; then
  144.       search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1  729c4010-ef72-450a-b914-cd65dcaa7941
  145.     else
  146.       search --no-floppy --fs-uuid --set=root 729c4010-ef72-450a-b914-cd65dcaa7941
  147.     fi
  148.         linux   /boot/vmlinuz-4.18.0-25-generic root=UUID=729c4010-ef72-450a-b914-cd65dcaa7941 ro  quiet splash $vt_handoff
  149.     initrd  /boot/initrd.img-4.18.0-25-generic
  150. }
  151. submenu 'Advanced options for Ubuntu' $menuentry_id_option 'gnulinux-advanced-729c4010-ef72-450a-b914-cd65dcaa7941' {
  152.     menuentry 'Ubuntu, with Linux 4.18.0-25-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.18.0-25-generic-advanced-729c4010-ef72-450a-b914-cd65dcaa7941' {
  153.         recordfail
  154.         load_video
  155.         gfxmode $linux_gfx_mode
  156.         insmod gzio
  157.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  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  729c4010-ef72-450a-b914-cd65dcaa7941
  163.         else
  164.           search --no-floppy --fs-uuid --set=root 729c4010-ef72-450a-b914-cd65dcaa7941
  165.         fi
  166.         echo    'Loading Linux 4.18.0-25-generic ...'
  167.             linux   /boot/vmlinuz-4.18.0-25-generic root=UUID=729c4010-ef72-450a-b914-cd65dcaa7941 ro  quiet splash $vt_handoff
  168.         echo    'Loading initial ramdisk ...'
  169.         initrd  /boot/initrd.img-4.18.0-25-generic
  170.     }
  171.     menuentry 'Ubuntu, with Linux 4.18.0-25-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.18.0-25-generic-recovery-729c4010-ef72-450a-b914-cd65dcaa7941' {
  172.         recordfail
  173.         load_video
  174.         insmod gzio
  175.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  176.         insmod part_gpt
  177.         insmod ext2
  178.         set root='hd0,gpt1'
  179.         if [ x$feature_platform_search_hint = xy ]; then
  180.           search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1  729c4010-ef72-450a-b914-cd65dcaa7941
  181.         else
  182.           search --no-floppy --fs-uuid --set=root 729c4010-ef72-450a-b914-cd65dcaa7941
  183.         fi
  184.         echo    'Loading Linux 4.18.0-25-generic ...'
  185.             linux   /boot/vmlinuz-4.18.0-25-generic root=UUID=729c4010-ef72-450a-b914-cd65dcaa7941 ro recovery nomodeset
  186.         echo    'Loading initial ramdisk ...'
  187.         initrd  /boot/initrd.img-4.18.0-25-generic
  188.     }
  189. }
  190.  
  191. ### END /etc/grub.d/10_linux ###
  192.  
  193. ### BEGIN /etc/grub.d/20_linux_xen ###
  194.  
  195. ### END /etc/grub.d/20_linux_xen ###
  196.  
  197. ### BEGIN /etc/grub.d/20_memtest86+ ###
  198. ### END /etc/grub.d/20_memtest86+ ###
  199.  
  200. ### BEGIN /etc/grub.d/30_os-prober ###
  201. ### END /etc/grub.d/30_os-prober ###
  202.  
  203. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  204. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  205.     fwsetup
  206. }
  207. ### END /etc/grub.d/30_uefi-firmware ###
  208.  
  209. ### BEGIN /etc/grub.d/40_custom ###
  210. # This file provides an easy way to add custom menu entries.  Simply type the
  211. # menu entries you want to add after this comment.  Be careful not to change
  212. # the 'exec tail' line above.
  213. ### END /etc/grub.d/40_custom ###
  214.  
  215. ### BEGIN /etc/grub.d/41_custom ###
  216. if [ -f  ${config_directory}/custom.cfg ]; then
  217.   source ${config_directory}/custom.cfg
  218. elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  219.   source $prefix/custom.cfg;
  220. fi
  221. ### 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