Guest User

Untitled

a guest
Aug 14th, 2019
71
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