SHARE
TWEET

Untitled

a guest May 13th, 2019 78 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. if [ x$feature_platform_search_hint = xy ]; then
  68.   search --no-floppy --fs-uuid --set=root  1e27d729-df08-4d63-ad19-402e4c3340cf
  69. else
  70.   search --no-floppy --fs-uuid --set=root 1e27d729-df08-4d63-ad19-402e4c3340cf
  71. fi
  72.     font="/usr/share/grub/unicode.pf2"
  73. fi
  74.  
  75. if loadfont $font ; then
  76.   set gfxmode=1024x768
  77.   load_video
  78.   insmod gfxterm
  79.   set locale_dir=$prefix/locale
  80.   set lang=en_US
  81.   insmod gettext
  82. fi
  83. terminal_output gfxterm
  84. if [ "${recordfail}" = 1 ] ; then
  85.   set timeout=30
  86. else
  87.   if [ x$feature_timeout_style = xy ] ; then
  88.     set timeout_style=menu
  89.     set timeout=-1
  90.   # Fallback normal timeout code in case the timeout_style feature is
  91.   # unavailable.
  92.   else
  93.     set timeout=-1
  94.   fi
  95. fi
  96. ### END /etc/grub.d/00_header ###
  97.  
  98. ### BEGIN /etc/grub.d/05_debian_theme ###
  99. set menu_color_normal=white/black
  100. set menu_color_highlight=black/light-gray
  101. ### END /etc/grub.d/05_debian_theme ###
  102.  
  103. ### BEGIN /etc/grub.d/10_linux ###
  104. function gfxmode {
  105.     set gfxpayload="${1}"
  106.     if [ "${1}" = "keep" ]; then
  107.         set vt_handoff=vt.handoff=7
  108.     else
  109.         set vt_handoff=
  110.     fi
  111. }
  112. if [ "${recordfail}" != 1 ]; then
  113.   if [ -e ${prefix}/gfxblacklist.txt ]; then
  114.     if hwmatch ${prefix}/gfxblacklist.txt 3; then
  115.       if [ ${match} = 0 ]; then
  116.         set linux_gfx_mode=keep
  117.       else
  118.         set linux_gfx_mode=text
  119.       fi
  120.     else
  121.       set linux_gfx_mode=text
  122.     fi
  123.   else
  124.     set linux_gfx_mode=keep
  125.   fi
  126. else
  127.   set linux_gfx_mode=text
  128. fi
  129. export linux_gfx_mode
  130. menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-1e27d729-df08-4d63-ad19-402e4c3340cf' {
  131.     recordfail
  132.     load_video
  133.     gfxmode $linux_gfx_mode
  134.     insmod gzio
  135.     if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  136.     insmod part_gpt
  137.     insmod ext2
  138.     if [ x$feature_platform_search_hint = xy ]; then
  139.       search --no-floppy --fs-uuid --set=root  1e27d729-df08-4d63-ad19-402e4c3340cf
  140.     else
  141.       search --no-floppy --fs-uuid --set=root 1e27d729-df08-4d63-ad19-402e4c3340cf
  142.     fi
  143.         linux   /boot/vmlinuz-4.4.0-146-generic root=UUID=1e27d729-df08-4d63-ad19-402e4c3340cf ro  quiet splash $vt_handoff
  144.     initrd  /boot/initrd.img-4.4.0-146-generic
  145. }
  146. submenu 'Advanced options for Ubuntu' $menuentry_id_option 'gnulinux-advanced-1e27d729-df08-4d63-ad19-402e4c3340cf' {
  147.     menuentry 'Ubuntu, with Linux 4.4.0-146-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-146-generic-advanced-1e27d729-df08-4d63-ad19-402e4c3340cf' {
  148.         recordfail
  149.         load_video
  150.         gfxmode $linux_gfx_mode
  151.         insmod gzio
  152.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  153.         insmod part_gpt
  154.         insmod ext2
  155.         if [ x$feature_platform_search_hint = xy ]; then
  156.           search --no-floppy --fs-uuid --set=root  1e27d729-df08-4d63-ad19-402e4c3340cf
  157.         else
  158.           search --no-floppy --fs-uuid --set=root 1e27d729-df08-4d63-ad19-402e4c3340cf
  159.         fi
  160.         echo    'Loading Linux 4.4.0-146-generic ...'
  161.             linux   /boot/vmlinuz-4.4.0-146-generic root=UUID=1e27d729-df08-4d63-ad19-402e4c3340cf ro  quiet splash $vt_handoff
  162.         echo    'Loading initial ramdisk ...'
  163.         initrd  /boot/initrd.img-4.4.0-146-generic
  164.     }
  165.     menuentry 'Ubuntu, with Linux 4.4.0-146-generic (upstart)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-146-generic-init-upstart-1e27d729-df08-4d63-ad19-402e4c3340cf' {
  166.         recordfail
  167.         load_video
  168.         gfxmode $linux_gfx_mode
  169.         insmod gzio
  170.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  171.         insmod part_gpt
  172.         insmod ext2
  173.         if [ x$feature_platform_search_hint = xy ]; then
  174.           search --no-floppy --fs-uuid --set=root  1e27d729-df08-4d63-ad19-402e4c3340cf
  175.         else
  176.           search --no-floppy --fs-uuid --set=root 1e27d729-df08-4d63-ad19-402e4c3340cf
  177.         fi
  178.         echo    'Loading Linux 4.4.0-146-generic ...'
  179.             linux   /boot/vmlinuz-4.4.0-146-generic root=UUID=1e27d729-df08-4d63-ad19-402e4c3340cf ro  quiet splash $vt_handoff init=/sbin/upstart
  180.         echo    'Loading initial ramdisk ...'
  181.         initrd  /boot/initrd.img-4.4.0-146-generic
  182.     }
  183.     menuentry 'Ubuntu, with Linux 4.4.0-146-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-146-generic-recovery-1e27d729-df08-4d63-ad19-402e4c3340cf' {
  184.         recordfail
  185.         load_video
  186.         insmod gzio
  187.         if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  188.         insmod part_gpt
  189.         insmod ext2
  190.         if [ x$feature_platform_search_hint = xy ]; then
  191.           search --no-floppy --fs-uuid --set=root  1e27d729-df08-4d63-ad19-402e4c3340cf
  192.         else
  193.           search --no-floppy --fs-uuid --set=root 1e27d729-df08-4d63-ad19-402e4c3340cf
  194.         fi
  195.         echo    'Loading Linux 4.4.0-146-generic ...'
  196.             linux   /boot/vmlinuz-4.4.0-146-generic root=UUID=1e27d729-df08-4d63-ad19-402e4c3340cf ro recovery nomodeset
  197.         echo    'Loading initial ramdisk ...'
  198.         initrd  /boot/initrd.img-4.4.0-146-generic
  199.     }
  200. }
  201.  
  202. ### END /etc/grub.d/10_linux ###
  203.  
  204. ### BEGIN /etc/grub.d/20_linux_xen ###
  205.  
  206. ### END /etc/grub.d/20_linux_xen ###
  207.  
  208. ### BEGIN /etc/grub.d/20_memtest86+ ###
  209. ### END /etc/grub.d/20_memtest86+ ###
  210.  
  211. ### BEGIN /etc/grub.d/25_custom_proxy ###
  212.  
  213.  
  214.  
  215.  
  216.  
  217.  
  218.  
  219.  
  220.  
  221.  
  222.  
  223. ### END /etc/grub.d/25_custom_proxy ###
  224.  
  225. ### BEGIN /etc/grub.d/30_os-prober_proxy ###
  226.  
  227. ### END /etc/grub.d/30_os-prober_proxy ###
  228.  
  229. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  230. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  231.     fwsetup
  232. }
  233. ### END /etc/grub.d/30_uefi-firmware ###
  234.  
  235. ### BEGIN /etc/grub.d/40_custom ###
  236. # This file provides an easy way to add custom menu entries.  Simply type the
  237. # menu entries you want to add after this comment.  Be careful not to change
  238. # the 'exec tail' line above.
  239. ### END /etc/grub.d/40_custom ###
  240.  
  241. ### BEGIN /etc/grub.d/41_custom ###
  242. if [ -f  ${config_directory}/custom.cfg ]; then
  243.   source ${config_directory}/custom.cfg
  244. elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  245.   source $prefix/custom.cfg;
  246. fi
  247. ### 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