API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Mar 21st, 2018
118
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 8.73 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. 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_msdos
  66. insmod ext2
  67. set root='hd0,msdos1'
  68. if [ x$feature_platform_search_hint = xy ]; then
  69. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 adc33432-9112-414c-bd7e-5136e8938eb8
  70. else
  71. search --no-floppy --fs-uuid --set=root adc33432-9112-414c-bd7e-5136e8938eb8
  72. fi
  73. font="/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/06_mint_theme ###
  105. set menu_color_normal=white/black
  106. set menu_color_highlight=white/light-gray
  107. ### END /etc/grub.d/06_mint_theme ###
  108.  
  109. ### BEGIN /etc/grub.d/10_linux ###
  110. function gfxmode {
  111. set gfxpayload="${1}"
  112. if [ "${1}" = "keep" ]; then
  113. set vt_handoff=vt.handoff=7
  114. else
  115. set vt_handoff=
  116. fi
  117. }
  118. if [ "${recordfail}" != 1 ]; then
  119. if [ -e ${prefix}/gfxblacklist.txt ]; then
  120. if hwmatch ${prefix}/gfxblacklist.txt 3; then
  121. if [ ${match} = 0 ]; then
  122. set linux_gfx_mode=keep
  123. else
  124. set linux_gfx_mode=text
  125. fi
  126. else
  127. set linux_gfx_mode=text
  128. fi
  129. else
  130. set linux_gfx_mode=keep
  131. fi
  132. else
  133. set linux_gfx_mode=text
  134. fi
  135. export linux_gfx_mode
  136. menuentry 'Linux Mint 18.1 Cinnamon 64-bit' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-62c72d2f-d04d-4594-ba38-b988a448ef80' {
  137. recordfail
  138. load_video
  139. gfxmode $linux_gfx_mode
  140. insmod gzio
  141. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  142. insmod part_msdos
  143. insmod ext2
  144. set root='hd0,msdos1'
  145. if [ x$feature_platform_search_hint = xy ]; then
  146. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 adc33432-9112-414c-bd7e-5136e8938eb8
  147. else
  148. search --no-floppy --fs-uuid --set=root adc33432-9112-414c-bd7e-5136e8938eb8
  149. fi
  150. linux /vmlinuz-4.4.0-53-generic root=UUID=62c72d2f-d04d-4594-ba38-b988a448ef80 ro quiet splash $vt_handoff
  151. initrd /initrd.img-4.4.0-53-generic
  152. }
  153. submenu 'Advanced options for Linux Mint 18.1 Cinnamon 64-bit' $menuentry_id_option 'gnulinux-advanced-62c72d2f-d04d-4594-ba38-b988a448ef80' {
  154. menuentry 'Linux Mint 18.1 Cinnamon 64-bit, with Linux 4.4.0-53-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-53-generic-advanced-62c72d2f-d04d-4594-ba38-b988a448ef80' {
  155. recordfail
  156. load_video
  157. gfxmode $linux_gfx_mode
  158. insmod gzio
  159. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  160. insmod part_msdos
  161. insmod ext2
  162. set root='hd0,msdos1'
  163. if [ x$feature_platform_search_hint = xy ]; then
  164. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 adc33432-9112-414c-bd7e-5136e8938eb8
  165. else
  166. search --no-floppy --fs-uuid --set=root adc33432-9112-414c-bd7e-5136e8938eb8
  167. fi
  168. echo 'Loading Linux 4.4.0-53-generic ...'
  169. linux /vmlinuz-4.4.0-53-generic root=UUID=62c72d2f-d04d-4594-ba38-b988a448ef80 ro quiet splash $vt_handoff
  170. echo 'Loading initial ramdisk ...'
  171. initrd /initrd.img-4.4.0-53-generic
  172. }
  173. menuentry 'Linux Mint 18.1 Cinnamon 64-bit, with Linux 4.4.0-53-generic (upstart)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-53-generic-init-upstart-62c72d2f-d04d-4594-ba38-b988a448ef80' {
  174. recordfail
  175. load_video
  176. gfxmode $linux_gfx_mode
  177. insmod gzio
  178. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  179. insmod part_msdos
  180. insmod ext2
  181. set root='hd0,msdos1'
  182. if [ x$feature_platform_search_hint = xy ]; then
  183. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 adc33432-9112-414c-bd7e-5136e8938eb8
  184. else
  185. search --no-floppy --fs-uuid --set=root adc33432-9112-414c-bd7e-5136e8938eb8
  186. fi
  187. echo 'Loading Linux 4.4.0-53-generic ...'
  188. linux /vmlinuz-4.4.0-53-generic root=UUID=62c72d2f-d04d-4594-ba38-b988a448ef80 ro quiet splash $vt_handoff init=/sbin/upstart
  189. echo 'Loading initial ramdisk ...'
  190. initrd /initrd.img-4.4.0-53-generic
  191. }
  192. menuentry 'Linux Mint 18.1 Cinnamon 64-bit, with Linux 4.4.0-53-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-53-generic-recovery-62c72d2f-d04d-4594-ba38-b988a448ef80' {
  193. recordfail
  194. load_video
  195. insmod gzio
  196. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  197. insmod part_msdos
  198. insmod ext2
  199. set root='hd0,msdos1'
  200. if [ x$feature_platform_search_hint = xy ]; then
  201. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 adc33432-9112-414c-bd7e-5136e8938eb8
  202. else
  203. search --no-floppy --fs-uuid --set=root adc33432-9112-414c-bd7e-5136e8938eb8
  204. fi
  205. echo 'Loading Linux 4.4.0-53-generic ...'
  206. linux /vmlinuz-4.4.0-53-generic root=UUID=62c72d2f-d04d-4594-ba38-b988a448ef80 ro recovery nomodeset
  207. echo 'Loading initial ramdisk ...'
  208. initrd /initrd.img-4.4.0-53-generic
  209. }
  210. }
  211.  
  212. ### END /etc/grub.d/10_linux ###
  213.  
  214. ### BEGIN /etc/grub.d/10_lupin ###
  215. ### END /etc/grub.d/10_lupin ###
  216.  
  217. ### BEGIN /etc/grub.d/20_linux_xen ###
  218.  
  219. ### END /etc/grub.d/20_linux_xen ###
  220.  
  221. ### BEGIN /etc/grub.d/20_memtest86+ ###
  222. menuentry 'Memory test (memtest86+)' {
  223. insmod part_msdos
  224. insmod ext2
  225. set root='hd0,msdos1'
  226. if [ x$feature_platform_search_hint = xy ]; then
  227. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 adc33432-9112-414c-bd7e-5136e8938eb8
  228. else
  229. search --no-floppy --fs-uuid --set=root adc33432-9112-414c-bd7e-5136e8938eb8
  230. fi
  231. knetbsd /memtest86+.elf
  232. }
  233. menuentry 'Memory test (memtest86+, serial console 115200)' {
  234. insmod part_msdos
  235. insmod ext2
  236. set root='hd0,msdos1'
  237. if [ x$feature_platform_search_hint = xy ]; then
  238. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 adc33432-9112-414c-bd7e-5136e8938eb8
  239. else
  240. search --no-floppy --fs-uuid --set=root adc33432-9112-414c-bd7e-5136e8938eb8
  241. fi
  242. linux16 /memtest86+.bin console=ttyS0,115200n8
  243. }
  244. ### END /etc/grub.d/20_memtest86+ ###
  245.  
  246. ### BEGIN /etc/grub.d/30_os-prober ###
  247. ### END /etc/grub.d/30_os-prober ###
  248.  
  249. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  250. ### END /etc/grub.d/30_uefi-firmware ###
  251.  
  252. ### BEGIN /etc/grub.d/40_custom ###
  253. # This file provides an easy way to add custom menu entries. Simply type the
  254. # menu entries you want to add after this comment. Be careful not to change
  255. # the 'exec tail' line above.
  256. ### END /etc/grub.d/40_custom ###
  257.  
  258. ### BEGIN /etc/grub.d/41_custom ###
  259. if [ -f ${config_directory}/custom.cfg ]; then
  260. source ${config_directory}/custom.cfg
  261. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  262. source $prefix/custom.cfg;
  263. fi
  264. ### 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!