API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jun 15th, 2016
110
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 13.61 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. if [ x$feature_platform_search_hint = xy ]; then
  68. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  69. else
  70. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  71. fi
  72. font="/usr/share/grub/unicode.pf2"
  73. fi
  74.  
  75. if loadfont $font ; then
  76. set gfxmode=auto
  77. load_video
  78. insmod gfxterm
  79. set locale_dir=$prefix/locale
  80. set lang=fr_FR
  81. insmod gettext
  82. fi
  83. terminal_output gfxterm
  84. if [ "${recordfail}" = 1 ] ; then
  85. set timeout=30
  86. else
  87. if [ x$feature_timeout_style = xy ] ; then
  88. set timeout_style=menu
  89. set timeout=10
  90. # Fallback normal timeout code in case the timeout_style feature is
  91. # unavailable.
  92. else
  93. set timeout=10
  94. fi
  95. fi
  96. ### END /etc/grub.d/00_header ###
  97.  
  98. ### BEGIN /etc/grub.d/05_debian_theme ###
  99. set menu_color_normal=white/black
  100. set menu_color_highlight=black/light-gray
  101. if background_color 44,0,30,0; then
  102. clear
  103. fi
  104. ### END /etc/grub.d/05_debian_theme ###
  105.  
  106. ### BEGIN /etc/grub.d/10_linux ###
  107. function gfxmode {
  108. set gfxpayload="${1}"
  109. if [ "${1}" = "keep" ]; then
  110. set vt_handoff=vt.handoff=7
  111. else
  112. set vt_handoff=
  113. fi
  114. }
  115. if [ "${recordfail}" != 1 ]; then
  116. if [ -e ${prefix}/gfxblacklist.txt ]; then
  117. if hwmatch ${prefix}/gfxblacklist.txt 3; then
  118. if [ ${match} = 0 ]; then
  119. set linux_gfx_mode=keep
  120. else
  121. set linux_gfx_mode=text
  122. fi
  123. else
  124. set linux_gfx_mode=text
  125. fi
  126. else
  127. set linux_gfx_mode=keep
  128. fi
  129. else
  130. set linux_gfx_mode=text
  131. fi
  132. export linux_gfx_mode
  133. menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-ede63bd7-fe52-4600-b78c-71012a3c46bc' {
  134. recordfail
  135. load_video
  136. gfxmode $linux_gfx_mode
  137. insmod gzio
  138. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  139. insmod part_gpt
  140. insmod ext2
  141. if [ x$feature_platform_search_hint = xy ]; then
  142. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  143. else
  144. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  145. fi
  146. linux /boot/vmlinuz-4.4.0-24-generic.efi.signed root=UUID=ede63bd7-fe52-4600-b78c-71012a3c46bc ro quiet splash $vt_handoff
  147. initrd /boot/initrd.img-4.4.0-24-generic
  148. }
  149. submenu 'Options avancées pour Ubuntu' $menuentry_id_option 'gnulinux-advanced-ede63bd7-fe52-4600-b78c-71012a3c46bc' {
  150. menuentry 'Ubuntu, avec Linux 4.4.0-24-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-24-generic-advanced-ede63bd7-fe52-4600-b78c-71012a3c46bc' {
  151. recordfail
  152. load_video
  153. gfxmode $linux_gfx_mode
  154. insmod gzio
  155. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  156. insmod part_gpt
  157. insmod ext2
  158. if [ x$feature_platform_search_hint = xy ]; then
  159. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  160. else
  161. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  162. fi
  163. echo 'Chargement de Linux 4.4.0-24-generic…'
  164. linux /boot/vmlinuz-4.4.0-24-generic.efi.signed root=UUID=ede63bd7-fe52-4600-b78c-71012a3c46bc ro quiet splash $vt_handoff
  165. echo 'Chargement du disque mémoire initial…'
  166. initrd /boot/initrd.img-4.4.0-24-generic
  167. }
  168. menuentry 'Ubuntu, with Linux 4.4.0-24-generic (upstart)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-24-generic-init-upstart-ede63bd7-fe52-4600-b78c-71012a3c46bc' {
  169. recordfail
  170. load_video
  171. gfxmode $linux_gfx_mode
  172. insmod gzio
  173. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  174. insmod part_gpt
  175. insmod ext2
  176. if [ x$feature_platform_search_hint = xy ]; then
  177. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  178. else
  179. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  180. fi
  181. echo 'Chargement de Linux 4.4.0-24-generic…'
  182. linux /boot/vmlinuz-4.4.0-24-generic.efi.signed root=UUID=ede63bd7-fe52-4600-b78c-71012a3c46bc ro quiet splash $vt_handoff init=/sbin/upstart
  183. echo 'Chargement du disque mémoire initial…'
  184. initrd /boot/initrd.img-4.4.0-24-generic
  185. }
  186. menuentry 'Ubuntu, with Linux 4.4.0-24-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-24-generic-recovery-ede63bd7-fe52-4600-b78c-71012a3c46bc' {
  187. recordfail
  188. load_video
  189. insmod gzio
  190. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  191. insmod part_gpt
  192. insmod ext2
  193. if [ x$feature_platform_search_hint = xy ]; then
  194. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  195. else
  196. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  197. fi
  198. echo 'Chargement de Linux 4.4.0-24-generic…'
  199. linux /boot/vmlinuz-4.4.0-24-generic.efi.signed root=UUID=ede63bd7-fe52-4600-b78c-71012a3c46bc ro recovery nomodeset
  200. echo 'Chargement du disque mémoire initial…'
  201. initrd /boot/initrd.img-4.4.0-24-generic
  202. }
  203. menuentry 'Ubuntu, avec Linux 4.4.0-21-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-21-generic-advanced-ede63bd7-fe52-4600-b78c-71012a3c46bc' {
  204. recordfail
  205. load_video
  206. gfxmode $linux_gfx_mode
  207. insmod gzio
  208. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  209. insmod part_gpt
  210. insmod ext2
  211. if [ x$feature_platform_search_hint = xy ]; then
  212. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  213. else
  214. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  215. fi
  216. echo 'Chargement de Linux 4.4.0-21-generic…'
  217. linux /boot/vmlinuz-4.4.0-21-generic root=UUID=ede63bd7-fe52-4600-b78c-71012a3c46bc ro quiet splash $vt_handoff
  218. echo 'Chargement du disque mémoire initial…'
  219. initrd /boot/initrd.img-4.4.0-21-generic
  220. }
  221. menuentry 'Ubuntu, with Linux 4.4.0-21-generic (upstart)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-21-generic-init-upstart-ede63bd7-fe52-4600-b78c-71012a3c46bc' {
  222. recordfail
  223. load_video
  224. gfxmode $linux_gfx_mode
  225. insmod gzio
  226. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  227. insmod part_gpt
  228. insmod ext2
  229. if [ x$feature_platform_search_hint = xy ]; then
  230. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  231. else
  232. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  233. fi
  234. echo 'Chargement de Linux 4.4.0-21-generic…'
  235. linux /boot/vmlinuz-4.4.0-21-generic root=UUID=ede63bd7-fe52-4600-b78c-71012a3c46bc ro quiet splash $vt_handoff init=/sbin/upstart
  236. echo 'Chargement du disque mémoire initial…'
  237. initrd /boot/initrd.img-4.4.0-21-generic
  238. }
  239. menuentry 'Ubuntu, with Linux 4.4.0-21-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-21-generic-recovery-ede63bd7-fe52-4600-b78c-71012a3c46bc' {
  240. recordfail
  241. load_video
  242. insmod gzio
  243. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  244. insmod part_gpt
  245. insmod ext2
  246. if [ x$feature_platform_search_hint = xy ]; then
  247. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  248. else
  249. search --no-floppy --fs-uuid --set=root ede63bd7-fe52-4600-b78c-71012a3c46bc
  250. fi
  251. echo 'Chargement de Linux 4.4.0-21-generic…'
  252. linux /boot/vmlinuz-4.4.0-21-generic root=UUID=ede63bd7-fe52-4600-b78c-71012a3c46bc ro recovery nomodeset
  253. echo 'Chargement du disque mémoire initial…'
  254. initrd /boot/initrd.img-4.4.0-21-generic
  255. }
  256. }
  257.  
  258. ### END /etc/grub.d/10_linux ###
  259.  
  260. ### BEGIN /etc/grub.d/20_linux_xen ###
  261.  
  262. ### END /etc/grub.d/20_linux_xen ###
  263.  
  264. ### BEGIN /etc/grub.d/20_memtest86+ ###
  265. ### END /etc/grub.d/20_memtest86+ ###
  266.  
  267. ### BEGIN /etc/grub.d/30_os-prober ###
  268. menuentry 'Arch Linux (rolling) (sur /dev/nvme0n1p4)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-simple-3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09' {
  269. insmod part_gpt
  270. insmod ext2
  271. if [ x$feature_platform_search_hint = xy ]; then
  272. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  273. else
  274. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  275. fi
  276. linux /boot/vmlinuz-linux-lts root=UUID=3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09 rw quiet
  277. initrd /boot/initramfs-linux-lts.img
  278. }
  279. submenu 'Options avancées pour Arch Linux (rolling) (sur /dev/nvme0n1p4)' $menuentry_id_option 'osprober-gnulinux-advanced-3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09' {
  280. menuentry 'Arch Linux (sur /dev/nvme0n1p4)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-linux-lts--3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09' {
  281. insmod part_gpt
  282. insmod ext2
  283. if [ x$feature_platform_search_hint = xy ]; then
  284. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  285. else
  286. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  287. fi
  288. linux /boot/vmlinuz-linux-lts root=UUID=3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09 rw quiet
  289. initrd /boot/initramfs-linux-lts.img
  290. }
  291. menuentry 'Arch Linux, with Linux linux-lts (sur /dev/nvme0n1p4)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-linux-lts--3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09' {
  292. insmod part_gpt
  293. insmod ext2
  294. if [ x$feature_platform_search_hint = xy ]; then
  295. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  296. else
  297. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  298. fi
  299. linux /boot/vmlinuz-linux-lts root=UUID=3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09 rw quiet
  300. initrd /boot/initramfs-linux-lts.img
  301. }
  302. menuentry 'Arch Linux, with Linux linux-lts (fallback initramfs) (sur /dev/nvme0n1p4)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-linux-lts--3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09' {
  303. insmod part_gpt
  304. insmod ext2
  305. if [ x$feature_platform_search_hint = xy ]; then
  306. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  307. else
  308. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  309. fi
  310. linux /boot/vmlinuz-linux-lts root=UUID=3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09 rw quiet
  311. initrd /boot/initramfs-linux-lts-fallback.img
  312. }
  313. menuentry 'Arch Linux, with Linux linux (sur /dev/nvme0n1p4)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-linux--3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09' {
  314. insmod part_gpt
  315. insmod ext2
  316. if [ x$feature_platform_search_hint = xy ]; then
  317. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  318. else
  319. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  320. fi
  321. linux /boot/vmlinuz-linux root=UUID=3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09 rw quiet
  322. initrd /boot/initramfs-linux.img
  323. }
  324. menuentry 'Arch Linux, with Linux linux (fallback initramfs) (sur /dev/nvme0n1p4)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-linux--3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09' {
  325. insmod part_gpt
  326. insmod ext2
  327. if [ x$feature_platform_search_hint = xy ]; then
  328. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  329. else
  330. search --no-floppy --fs-uuid --set=root 3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09
  331. fi
  332. linux /boot/vmlinuz-linux root=UUID=3f5f1fa2-6af0-4fc9-b82f-a7d8fc066a09 rw quiet
  333. initrd /boot/initramfs-linux-fallback.img
  334. }
  335. }
  336.  
  337. set timeout_style=menu
  338. if [ "${timeout}" = 0 ]; then
  339. set timeout=10
  340. fi
  341. ### END /etc/grub.d/30_os-prober ###
  342.  
  343. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  344. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  345. fwsetup
  346. }
  347. ### END /etc/grub.d/30_uefi-firmware ###
  348.  
  349. ### BEGIN /etc/grub.d/40_custom ###
  350. # This file provides an easy way to add custom menu entries. Simply type the
  351. # menu entries you want to add after this comment. Be careful not to change
  352. # the 'exec tail' line above.
  353. ### END /etc/grub.d/40_custom ###
  354.  
  355. ### BEGIN /etc/grub.d/41_custom ###
  356. if [ -f ${config_directory}/custom.cfg ]; then
  357. source ${config_directory}/custom.cfg
  358. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  359. source $prefix/custom.cfg;
  360. fi
  361. ### 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!