API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Sep 27th, 2014
197
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 8.21 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 460e9609-044f-40c9-8f31-400128b5dce2
  70. else
  71. search --no-floppy --fs-uuid --set=root 460e9609-044f-40c9-8f31-400128b5dce2
  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=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. 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/10_linux ###
  108. function gfxmode {
  109. set gfxpayload="${1}"
  110. if [ "${1}" = "keep" ]; then
  111. set vt_handoff=vt.handoff=7
  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-460e9609-044f-40c9-8f31-400128b5dce2' {
  135. recordfail
  136. load_video
  137. gfxmode $linux_gfx_mode
  138. insmod gzio
  139. insmod part_gpt
  140. insmod ext2
  141. set root='hd0,gpt2'
  142. if [ x$feature_platform_search_hint = xy ]; then
  143. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 460e9609-044f-40c9-8f31-400128b5dce2
  144. else
  145. search --no-floppy --fs-uuid --set=root 460e9609-044f-40c9-8f31-400128b5dce2
  146. fi
  147. linux /boot/vmlinuz-3.13.0-35-generic.efi.signed root=UUID=460e9609-044f-40c9-8f31-400128b5dce2 ro quiet splash $vt_handoff
  148. initrd /boot/initrd.img-3.13.0-35-generic
  149. }
  150. submenu 'Advanced options for Ubuntu' $menuentry_id_option 'gnulinux-advanced-460e9609-044f-40c9-8f31-400128b5dce2' {
  151. menuentry 'Ubuntu, with Linux 3.13.0-35-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.0-35-generic-advanced-460e9609-044f-40c9-8f31-400128b5dce2' {
  152. recordfail
  153. load_video
  154. gfxmode $linux_gfx_mode
  155. insmod gzio
  156. insmod part_gpt
  157. insmod ext2
  158. set root='hd0,gpt2'
  159. if [ x$feature_platform_search_hint = xy ]; then
  160. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 460e9609-044f-40c9-8f31-400128b5dce2
  161. else
  162. search --no-floppy --fs-uuid --set=root 460e9609-044f-40c9-8f31-400128b5dce2
  163. fi
  164. echo 'Loading Linux 3.13.0-35-generic ...'
  165. linux /boot/vmlinuz-3.13.0-35-generic.efi.signed root=UUID=460e9609-044f-40c9-8f31-400128b5dce2 ro quiet splash $vt_handoff
  166. echo 'Loading initial ramdisk ...'
  167. initrd /boot/initrd.img-3.13.0-35-generic
  168. }
  169. menuentry 'Ubuntu, with Linux 3.13.0-35-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.0-35-generic-recovery-460e9609-044f-40c9-8f31-400128b5dce2' {
  170. recordfail
  171. load_video
  172. insmod gzio
  173. insmod part_gpt
  174. insmod ext2
  175. set root='hd0,gpt2'
  176. if [ x$feature_platform_search_hint = xy ]; then
  177. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 460e9609-044f-40c9-8f31-400128b5dce2
  178. else
  179. search --no-floppy --fs-uuid --set=root 460e9609-044f-40c9-8f31-400128b5dce2
  180. fi
  181. echo 'Loading Linux 3.13.0-35-generic ...'
  182. linux /boot/vmlinuz-3.13.0-35-generic.efi.signed root=UUID=460e9609-044f-40c9-8f31-400128b5dce2 ro recovery nomodeset
  183. echo 'Loading initial ramdisk ...'
  184. initrd /boot/initrd.img-3.13.0-35-generic
  185. }
  186. menuentry 'Ubuntu, with Linux 3.13.0-24-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.0-24-generic-advanced-460e9609-044f-40c9-8f31-400128b5dce2' {
  187. recordfail
  188. load_video
  189. gfxmode $linux_gfx_mode
  190. insmod gzio
  191. insmod part_gpt
  192. insmod ext2
  193. set root='hd0,gpt2'
  194. if [ x$feature_platform_search_hint = xy ]; then
  195. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 460e9609-044f-40c9-8f31-400128b5dce2
  196. else
  197. search --no-floppy --fs-uuid --set=root 460e9609-044f-40c9-8f31-400128b5dce2
  198. fi
  199. echo 'Loading Linux 3.13.0-24-generic ...'
  200. linux /boot/vmlinuz-3.13.0-24-generic root=UUID=460e9609-044f-40c9-8f31-400128b5dce2 ro quiet splash $vt_handoff
  201. echo 'Loading initial ramdisk ...'
  202. initrd /boot/initrd.img-3.13.0-24-generic
  203. }
  204. menuentry 'Ubuntu, with Linux 3.13.0-24-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.0-24-generic-recovery-460e9609-044f-40c9-8f31-400128b5dce2' {
  205. recordfail
  206. load_video
  207. insmod gzio
  208. insmod part_gpt
  209. insmod ext2
  210. set root='hd0,gpt2'
  211. if [ x$feature_platform_search_hint = xy ]; then
  212. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 460e9609-044f-40c9-8f31-400128b5dce2
  213. else
  214. search --no-floppy --fs-uuid --set=root 460e9609-044f-40c9-8f31-400128b5dce2
  215. fi
  216. echo 'Loading Linux 3.13.0-24-generic ...'
  217. linux /boot/vmlinuz-3.13.0-24-generic root=UUID=460e9609-044f-40c9-8f31-400128b5dce2 ro recovery nomodeset
  218. echo 'Loading initial ramdisk ...'
  219. initrd /boot/initrd.img-3.13.0-24-generic
  220. }
  221. }
  222.  
  223. ### END /etc/grub.d/10_linux ###
  224.  
  225. ### BEGIN /etc/grub.d/20_linux_xen ###
  226.  
  227. ### END /etc/grub.d/20_linux_xen ###
  228.  
  229. ### BEGIN /etc/grub.d/20_memtest86+ ###
  230. ### END /etc/grub.d/20_memtest86+ ###
  231.  
  232. ### BEGIN /etc/grub.d/30_os-prober ###
  233. ### END /etc/grub.d/30_os-prober ###
  234.  
  235. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  236. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  237. fwsetup
  238. }
  239. ### END /etc/grub.d/30_uefi-firmware ###
  240.  
  241. ### BEGIN /etc/grub.d/40_custom ###
  242. # This file provides an easy way to add custom menu entries. Simply type the
  243. # menu entries you want to add after this comment. Be careful not to change
  244. # the 'exec tail' line above.
  245. ### END /etc/grub.d/40_custom ###
  246.  
  247. ### BEGIN /etc/grub.d/41_custom ###
  248. if [ -f ${config_directory}/custom.cfg ]; then
  249. source ${config_directory}/custom.cfg
  250. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  251. source $prefix/custom.cfg;
  252. fi
  253. ### 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!