API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Apr 2nd, 2016
121
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 7.96 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='hd1,msdos5'
  68. if [ x$feature_platform_search_hint = xy ]; then
  69. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos5 --hint-efi=hd1,msdos5 --hint-baremetal=ahci1,msdos5 36e65b66-4486-4360-a70c-41913920ebfc
  70. else
  71. search --no-floppy --fs-uuid --set=root 36e65b66-4486-4360-a70c-41913920ebfc
  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=menu
  90. set timeout=5
  91. # Fallback normal timeout code in case the timeout_style feature is
  92. # unavailable.
  93. else
  94. set timeout=5
  95. fi
  96. fi
  97. ### END /etc/grub.d/00_header ###
  98.  
  99. ### BEGIN /etc/grub.d/05_debian_theme ###
  100. insmod part_msdos
  101. insmod ext2
  102. set root='hd1,msdos5'
  103. if [ x$feature_platform_search_hint = xy ]; then
  104. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos5 --hint-efi=hd1,msdos5 --hint-baremetal=ahci1,msdos5 36e65b66-4486-4360-a70c-41913920ebfc
  105. else
  106. search --no-floppy --fs-uuid --set=root 36e65b66-4486-4360-a70c-41913920ebfc
  107. fi
  108. insmod png
  109. if background_image /usr/share/images/desktop-base/lines-grub.png; then
  110. true
  111. else
  112. set menu_color_normal=cyan/blue
  113. set menu_color_highlight=white/blue
  114. fi
  115. ### END /etc/grub.d/05_debian_theme ###
  116.  
  117. ### BEGIN /etc/grub.d/10_linux ###
  118. function gfxmode {
  119. set gfxpayload="${1}"
  120. if [ "${1}" = "keep" ]; then
  121. set vt_handoff=vt.handoff=7
  122. else
  123. set vt_handoff=
  124. fi
  125. }
  126. if [ "${recordfail}" != 1 ]; then
  127. if [ -e ${prefix}/gfxblacklist.txt ]; then
  128. if hwmatch ${prefix}/gfxblacklist.txt 3; then
  129. if [ ${match} = 0 ]; then
  130. set linux_gfx_mode=keep
  131. else
  132. set linux_gfx_mode=text
  133. fi
  134. else
  135. set linux_gfx_mode=text
  136. fi
  137. else
  138. set linux_gfx_mode=keep
  139. fi
  140. else
  141. set linux_gfx_mode=text
  142. fi
  143. export linux_gfx_mode
  144. menuentry 'GNU/Linux' --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-36e65b66-4486-4360-a70c-41913920ebfc' {
  145. recordfail
  146. load_video
  147. gfxmode $linux_gfx_mode
  148. insmod gzio
  149. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  150. insmod part_msdos
  151. insmod ext2
  152. set root='hd1,msdos5'
  153. if [ x$feature_platform_search_hint = xy ]; then
  154. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos5 --hint-efi=hd1,msdos5 --hint-baremetal=ahci1,msdos5 36e65b66-4486-4360-a70c-41913920ebfc
  155. else
  156. search --no-floppy --fs-uuid --set=root 36e65b66-4486-4360-a70c-41913920ebfc
  157. fi
  158. linux /boot/vmlinuz-4.4.0-16-generic.efi.signed root=UUID=36e65b66-4486-4360-a70c-41913920ebfc ro
  159. initrd /boot/initrd.img-4.4.0-16-generic
  160. }
  161. submenu 'Advanced options for GNU/Linux' $menuentry_id_option 'gnulinux-advanced-36e65b66-4486-4360-a70c-41913920ebfc' {
  162. menuentry 'GNU/Linux, with Linux 4.4.0-16-generic' --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-16-generic-advanced-36e65b66-4486-4360-a70c-41913920ebfc' {
  163. recordfail
  164. load_video
  165. gfxmode $linux_gfx_mode
  166. insmod gzio
  167. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  168. insmod part_msdos
  169. insmod ext2
  170. set root='hd1,msdos5'
  171. if [ x$feature_platform_search_hint = xy ]; then
  172. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos5 --hint-efi=hd1,msdos5 --hint-baremetal=ahci1,msdos5 36e65b66-4486-4360-a70c-41913920ebfc
  173. else
  174. search --no-floppy --fs-uuid --set=root 36e65b66-4486-4360-a70c-41913920ebfc
  175. fi
  176. echo 'Loading Linux 4.4.0-16-generic ...'
  177. linux /boot/vmlinuz-4.4.0-16-generic.efi.signed root=UUID=36e65b66-4486-4360-a70c-41913920ebfc ro
  178. echo 'Loading initial ramdisk ...'
  179. initrd /boot/initrd.img-4.4.0-16-generic
  180. }
  181. menuentry 'GNU/Linux, with Linux 4.4.0-16-generic (upstart)' --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-16-generic-init-upstart-36e65b66-4486-4360-a70c-41913920ebfc' {
  182. recordfail
  183. load_video
  184. gfxmode $linux_gfx_mode
  185. insmod gzio
  186. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  187. insmod part_msdos
  188. insmod ext2
  189. set root='hd1,msdos5'
  190. if [ x$feature_platform_search_hint = xy ]; then
  191. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos5 --hint-efi=hd1,msdos5 --hint-baremetal=ahci1,msdos5 36e65b66-4486-4360-a70c-41913920ebfc
  192. else
  193. search --no-floppy --fs-uuid --set=root 36e65b66-4486-4360-a70c-41913920ebfc
  194. fi
  195. echo 'Loading Linux 4.4.0-16-generic ...'
  196. linux /boot/vmlinuz-4.4.0-16-generic.efi.signed root=UUID=36e65b66-4486-4360-a70c-41913920ebfc ro init=/sbin/upstart
  197. echo 'Loading initial ramdisk ...'
  198. initrd /boot/initrd.img-4.4.0-16-generic
  199. }
  200. menuentry 'GNU/Linux, with Linux 4.4.0-16-generic (recovery mode)' --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-16-generic-recovery-36e65b66-4486-4360-a70c-41913920ebfc' {
  201. recordfail
  202. load_video
  203. insmod gzio
  204. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  205. insmod part_msdos
  206. insmod ext2
  207. set root='hd1,msdos5'
  208. if [ x$feature_platform_search_hint = xy ]; then
  209. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,msdos5 --hint-efi=hd1,msdos5 --hint-baremetal=ahci1,msdos5 36e65b66-4486-4360-a70c-41913920ebfc
  210. else
  211. search --no-floppy --fs-uuid --set=root 36e65b66-4486-4360-a70c-41913920ebfc
  212. fi
  213. echo 'Loading Linux 4.4.0-16-generic ...'
  214. linux /boot/vmlinuz-4.4.0-16-generic.efi.signed root=UUID=36e65b66-4486-4360-a70c-41913920ebfc ro recovery nomodeset
  215. echo 'Loading initial ramdisk ...'
  216. initrd /boot/initrd.img-4.4.0-16-generic
  217. }
  218. }
  219.  
  220. ### END /etc/grub.d/10_linux ###
  221.  
  222. ### BEGIN /etc/grub.d/20_linux_xen ###
  223.  
  224. ### END /etc/grub.d/20_linux_xen ###
  225.  
  226. ### BEGIN /etc/grub.d/20_memtest86+ ###
  227. ### END /etc/grub.d/20_memtest86+ ###
  228.  
  229. ### BEGIN /etc/grub.d/30_os-prober ###
  230. ### END /etc/grub.d/30_os-prober ###
  231.  
  232. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  233. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  234. fwsetup
  235. }
  236. ### END /etc/grub.d/30_uefi-firmware ###
  237.  
  238. ### BEGIN /etc/grub.d/40_custom ###
  239. # This file provides an easy way to add custom menu entries. Simply type the
  240. # menu entries you want to add after this comment. Be careful not to change
  241. # the 'exec tail' line above.
  242. ### END /etc/grub.d/40_custom ###
  243.  
  244. ### BEGIN /etc/grub.d/41_custom ###
  245. if [ -f ${config_directory}/custom.cfg ]; then
  246. source ${config_directory}/custom.cfg
  247. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  248. source $prefix/custom.cfg;
  249. fi
  250. ### 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!