API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jul 28th, 2014
259
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 10.87 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_gpt
  66. insmod ext2
  67. set root='hd0,gpt2'
  68. if [ x$feature_platform_search_hint = xy ]; then
  69. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  70. else
  71. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  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_GB
  82. insmod gettext
  83. fi
  84. terminal_output gfxterm
  85. if [ "${recordfail}" = 1 ] ; then
  86. set timeout=-1
  87. else
  88. if [ x$feature_timeout_style = xy ] ; then
  89. set timeout_style=menu
  90. set timeout=2
  91. # Fallback normal timeout code in case the timeout_style feature is
  92. # unavailable.
  93. else
  94. set timeout=2
  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; then
  103. clear
  104. fi
  105. ### END /etc/grub.d/05_debian_theme ###
  106.  
  107. ### BEGIN /etc/grub.d/06_OVHkernel ###
  108. menuentry "Ubuntu 12.10, OVH kernel 3.10.23-xxxx-std-ipv6-64" {
  109. insmod part_gpt
  110. insmod ext2
  111. set root='hd0,gpt2'
  112. if [ x$feature_platform_search_hint = xy ]; then
  113. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  114. else
  115. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  116. fi
  117. linux /boot/bzImage-3.10.23-xxxx-std-ipv6-64 root=/dev/sda2 ro nomdmonddf nomdmonisw nomdmonddf nomdmonisw
  118. }
  119. ### END /etc/grub.d/06_OVHkernel ###
  120.  
  121. ### BEGIN /etc/grub.d/10_linux ###
  122. function gfxmode {
  123. set gfxpayload="${1}"
  124. if [ "${1}" = "keep" ]; then
  125. set vt_handoff=vt.handoff=7
  126. else
  127. set vt_handoff=
  128. fi
  129. }
  130. if [ "${recordfail}" != 1 ]; then
  131. if [ -e ${prefix}/gfxblacklist.txt ]; then
  132. if hwmatch ${prefix}/gfxblacklist.txt 3; then
  133. if [ ${match} = 0 ]; then
  134. set linux_gfx_mode=keep
  135. else
  136. set linux_gfx_mode=text
  137. fi
  138. else
  139. set linux_gfx_mode=text
  140. fi
  141. else
  142. set linux_gfx_mode=keep
  143. fi
  144. else
  145. set linux_gfx_mode=text
  146. fi
  147. export linux_gfx_mode
  148. menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-21765928-fd6e-4d30-98aa-218c4f3cadd0' {
  149. recordfail
  150. load_video
  151. gfxmode $linux_gfx_mode
  152. insmod gzio
  153. insmod part_gpt
  154. insmod ext2
  155. set root='hd0,gpt2'
  156. if [ x$feature_platform_search_hint = xy ]; then
  157. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  158. else
  159. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  160. fi
  161. linux /boot/vmlinuz-3.13.0-32-generic root=UUID=21765928-fd6e-4d30-98aa-218c4f3cadd0 ro nomdmonddf nomdmonisw nomdmonddf nomdmonisw
  162. initrd /boot/initrd.img-3.13.0-32-generic
  163. }
  164. submenu 'Advanced options for Ubuntu' $menuentry_id_option 'gnulinux-advanced-21765928-fd6e-4d30-98aa-218c4f3cadd0' {
  165. menuentry 'Ubuntu, with Linux 3.13.0-32-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.0-32-generic-advanced-21765928-fd6e-4d30-98aa-218c4f3cadd0' {
  166. recordfail
  167. load_video
  168. gfxmode $linux_gfx_mode
  169. insmod gzio
  170. insmod part_gpt
  171. insmod ext2
  172. set root='hd0,gpt2'
  173. if [ x$feature_platform_search_hint = xy ]; then
  174. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  175. else
  176. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  177. fi
  178. echo 'Loading Linux 3.13.0-32-generic ...'
  179. linux /boot/vmlinuz-3.13.0-32-generic root=UUID=21765928-fd6e-4d30-98aa-218c4f3cadd0 ro nomdmonddf nomdmonisw nomdmonddf nomdmonisw
  180. echo 'Loading initial ramdisk ...'
  181. initrd /boot/initrd.img-3.13.0-32-generic
  182. }
  183. menuentry 'Ubuntu, with Linux 3.13.0-32-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.0-32-generic-recovery-21765928-fd6e-4d30-98aa-218c4f3cadd0' {
  184. recordfail
  185. load_video
  186. insmod gzio
  187. insmod part_gpt
  188. insmod ext2
  189. set root='hd0,gpt2'
  190. if [ x$feature_platform_search_hint = xy ]; then
  191. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  192. else
  193. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  194. fi
  195. echo 'Loading Linux 3.13.0-32-generic ...'
  196. linux /boot/vmlinuz-3.13.0-32-generic root=UUID=21765928-fd6e-4d30-98aa-218c4f3cadd0 ro recovery nomodeset
  197. echo 'Loading initial ramdisk ...'
  198. initrd /boot/initrd.img-3.13.0-32-generic
  199. }
  200. menuentry 'Ubuntu, with Linux 3.11.0-19-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.11.0-19-generic-advanced-21765928-fd6e-4d30-98aa-218c4f3cadd0' {
  201. recordfail
  202. load_video
  203. gfxmode $linux_gfx_mode
  204. insmod gzio
  205. insmod part_gpt
  206. insmod ext2
  207. set root='hd0,gpt2'
  208. if [ x$feature_platform_search_hint = xy ]; then
  209. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  210. else
  211. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  212. fi
  213. echo 'Loading Linux 3.11.0-19-generic ...'
  214. linux /boot/vmlinuz-3.11.0-19-generic root=UUID=21765928-fd6e-4d30-98aa-218c4f3cadd0 ro nomdmonddf nomdmonisw nomdmonddf nomdmonisw
  215. echo 'Loading initial ramdisk ...'
  216. initrd /boot/initrd.img-3.11.0-19-generic
  217. }
  218. menuentry 'Ubuntu, with Linux 3.11.0-19-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.11.0-19-generic-recovery-21765928-fd6e-4d30-98aa-218c4f3cadd0' {
  219. recordfail
  220. load_video
  221. insmod gzio
  222. insmod part_gpt
  223. insmod ext2
  224. set root='hd0,gpt2'
  225. if [ x$feature_platform_search_hint = xy ]; then
  226. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  227. else
  228. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  229. fi
  230. echo 'Loading Linux 3.11.0-19-generic ...'
  231. linux /boot/vmlinuz-3.11.0-19-generic root=UUID=21765928-fd6e-4d30-98aa-218c4f3cadd0 ro recovery nomodeset
  232. echo 'Loading initial ramdisk ...'
  233. initrd /boot/initrd.img-3.11.0-19-generic
  234. }
  235. }
  236.  
  237. ### END /etc/grub.d/10_linux ###
  238.  
  239. ### BEGIN /etc/grub.d/20_linux_xen ###
  240.  
  241. ### END /etc/grub.d/20_linux_xen ###
  242.  
  243. ### BEGIN /etc/grub.d/20_memtest86+ ###
  244. menuentry 'Memory test (memtest86+)' {
  245. insmod part_gpt
  246. insmod ext2
  247. set root='hd0,gpt2'
  248. if [ x$feature_platform_search_hint = xy ]; then
  249. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  250. else
  251. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  252. fi
  253. knetbsd /boot/memtest86+.elf
  254. }
  255. menuentry 'Memory test (memtest86+, serial console 115200)' {
  256. insmod part_gpt
  257. insmod ext2
  258. set root='hd0,gpt2'
  259. if [ x$feature_platform_search_hint = xy ]; then
  260. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 21765928-fd6e-4d30-98aa-218c4f3cadd0
  261. else
  262. search --no-floppy --fs-uuid --set=root 21765928-fd6e-4d30-98aa-218c4f3cadd0
  263. fi
  264. linux16 /boot/memtest86+.bin console=ttyS0,115200n8
  265. }
  266. ### END /etc/grub.d/20_memtest86+ ###
  267.  
  268. ### BEGIN /etc/grub.d/30_os-prober ###
  269. ### END /etc/grub.d/30_os-prober ###
  270.  
  271. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  272. ### END /etc/grub.d/30_uefi-firmware ###
  273.  
  274. ### BEGIN /etc/grub.d/40_custom ###
  275. # This file provides an easy way to add custom menu entries. Simply type the
  276. # menu entries you want to add after this comment. Be careful not to change
  277. # the 'exec tail' line above.
  278. ### END /etc/grub.d/40_custom ###
  279.  
  280. ### BEGIN /etc/grub.d/41_custom ###
  281. if [ -f ${config_directory}/custom.cfg ]; then
  282. source ${config_directory}/custom.cfg
  283. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  284. source $prefix/custom.cfg;
  285. fi
  286. ### 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!