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. ### BEGIN /etc/grub.d/00_header ###
  8. if [ -s $prefix/grubenv ]; then
  9. set have_grubenv=true
  10. load_env
  11. fi
  12. if [ "${next_entry}" ] ; then
  13. set default="${next_entry}"
  14. set next_entry=
  15. save_env next_entry
  16. set boot_once=true
  17. else
  18. set default="0"
  19. fi
  20. if [ x"${feature_menuentry_id}" = xy ]; then
  21. menuentry_id_option="--id"
  22. else
  23. menuentry_id_option=""
  24. fi
  25. export menuentry_id_option
  26. if [ "${prev_saved_entry}" ]; then
  27. set saved_entry="${prev_saved_entry}"
  28. save_env saved_entry
  29. set prev_saved_entry=
  30. save_env prev_saved_entry
  31. set boot_once=true
  32. fi
  33. function savedefault {
  34. if [ -z "${boot_once}" ]; then
  35. saved_entry="${chosen}"
  36. save_env saved_entry
  37. fi
  38. }
  39. function recordfail {
  40. set recordfail=1
  41. if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; fi
  42. }
  43. function load_video {
  44. if [ x$feature_all_video_module = xy ]; then
  45. insmod all_video
  46. else
  47. insmod efi_gop
  48. insmod efi_uga
  49. insmod ieee1275_fb
  50. insmod vbe
  51. insmod vga
  52. insmod video_bochs
  53. insmod video_cirrus
  54. fi
  55. }
  56. if [ x$feature_default_font_path = xy ] ; then
  57. font=unicode
  58. else
  59. insmod part_gpt
  60. insmod ext2
  61. set root='hd0,gpt8'
  62. if [ x$feature_platform_search_hint = xy ]; then
  63. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt8 --hint-efi=hd0,gpt8 --hint-baremetal=ahci0,gpt8 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  64. else
  65. search --no-floppy --fs-uuid --set=root 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  66. fi
  67. font="/usr/share/grub/unicode.pf2"
  68. fi
  69. if loadfont $font ; then
  70. set gfxmode=auto
  71. load_video
  72. insmod gfxterm
  73. set locale_dir=$prefix/locale
  74. set lang=fr_FR
  75. insmod gettext
  76. fi
  77. terminal_output gfxterm
  78. if [ "${recordfail}" = 1 ] ; then
  79. set timeout=-1
  80. else
  81. if [ x$feature_timeout_style = xy ] ; then
  82. set timeout_style=menu
  83. set timeout=10
  84. # Fallback normal timeout code in case the timeout_style feature is
  85. # unavailable.
  86. else
  87. set timeout=10
  88. fi
  89. fi
  90. ### END /etc/grub.d/00_header ###
  91. ### BEGIN /etc/grub.d/05_debian_theme ###
  92. set menu_color_normal=white/black
  93. set menu_color_highlight=black/light-gray
  94. ### END /etc/grub.d/05_debian_theme ###
  95. ### BEGIN /etc/grub.d/06_mint_theme ###
  96. set menu_color_normal=white/black
  97. set menu_color_highlight=white/light-gray
  98. ### END /etc/grub.d/06_mint_theme ###
  99. ### BEGIN /etc/grub.d/10_linux ###
  100. function gfxmode {
  101. set gfxpayload="$1"
  102. if [ "$1" = "keep" ]; then
  103. set vt_handoff=vt.handoff=7
  104. else
  105. set vt_handoff=
  106. fi
  107. }
  108. if [ ${recordfail} != 1 ]; then
  109. if [ -e ${prefix}/gfxblacklist.txt ]; then
  110. if hwmatch ${prefix}/gfxblacklist.txt 3; then
  111. if [ ${match} = 0 ]; then
  112. set linux_gfx_mode=keep
  113. else
  114. set linux_gfx_mode=text
  115. fi
  116. else
  117. set linux_gfx_mode=text
  118. fi
  119. else
  120. set linux_gfx_mode=keep
  121. fi
  122. else
  123. set linux_gfx_mode=text
  124. fi
  125. export linux_gfx_mode
  126. if [ "$linux_gfx_mode" != "text" ]; then load_video; fi
  127. menuentry 'Linux Mint 17 Cinnamon 64-bit, 3.13.0-24-generic (/dev/sda8)' --class ubuntu --class gnu-linux --class gnu --class os {
  128. recordfail
  129. gfxmode $linux_gfx_mode
  130. insmod gzio
  131. insmod part_gpt
  132. insmod ext2
  133. set root='hd0,gpt8'
  134. if [ x$feature_platform_search_hint = xy ]; then
  135. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt8 --hint-efi=hd0,gpt8 --hint-baremetal=ahci0,gpt8 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  136. else
  137. search --no-floppy --fs-uuid --set=root 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  138. fi
  139. linux /boot/vmlinuz-3.13.0-24-generic root=UUID=6ccefc22-c0e6-4d3a-845b-184a7a03f503 ro quiet splash $vt_handoff
  140. initrd /boot/initrd.img-3.13.0-24-generic
  141. }
  142. menuentry 'Linux Mint 17 Cinnamon 64-bit, 3.13.0-24-generic (/dev/sda8) -- recovery mode' --class ubuntu --class gnu-linux --class gnu --class os {
  143. recordfail
  144. insmod gzio
  145. insmod part_gpt
  146. insmod ext2
  147. set root='hd0,gpt8'
  148. if [ x$feature_platform_search_hint = xy ]; then
  149. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt8 --hint-efi=hd0,gpt8 --hint-baremetal=ahci0,gpt8 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  150. else
  151. search --no-floppy --fs-uuid --set=root 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  152. fi
  153. echo 'Chargement de Linux 3.13.0-24-generic…'
  154. linux /boot/vmlinuz-3.13.0-24-generic root=UUID=6ccefc22-c0e6-4d3a-845b-184a7a03f503 ro recovery nomodeset
  155. echo 'Chargement du disque mémoire initial…'
  156. initrd /boot/initrd.img-3.13.0-24-generic
  157. }
  158. ### END /etc/grub.d/10_linux ###
  159. ### BEGIN /etc/grub.d/10_lupin ###
  160. ### END /etc/grub.d/10_lupin ###
  161. ### BEGIN /etc/grub.d/20_linux_xen ###
  162. ### END /etc/grub.d/20_linux_xen ###
  163. ### BEGIN /etc/grub.d/20_memtest86+ ###
  164. ### END /etc/grub.d/20_memtest86+ ###
  165. ### BEGIN /etc/grub.d/30_os-prober ###
  166. menuentry 'Windows Boot Manager (sur /dev/sda1)' --class windows --class os $menuentry_id_option 'osprober-efi-6ECC-3701' {
  167. insmod part_gpt
  168. insmod fat
  169. set root='hd0,gpt1'
  170. if [ x$feature_platform_search_hint = xy ]; then
  171. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 6ECC-3701
  172. else
  173. search --no-floppy --fs-uuid --set=root 6ECC-3701
  174. fi
  175. chainloader /EFI/Microsoft/Boot/bootmgfw.efi
  176. }
  177. set timeout_style=menu
  178. if [ "${timeout}" = 0 ]; then
  179. set timeout=10
  180. fi
  181. ### END /etc/grub.d/30_os-prober ###
  182. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  183. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  184. fwsetup
  185. }
  186. ### END /etc/grub.d/30_uefi-firmware ###
  187. ### BEGIN /etc/grub.d/40_custom ###
  188. # This file provides an easy way to add custom menu entries. Simply type the
  189. # menu entries you want to add after this comment. Be careful not to change
  190. # the 'exec tail' line above.
  191. ### END /etc/grub.d/40_custom ###
  192. ### BEGIN /etc/grub.d/41_custom ###
  193. if [ -f ${config_directory}/custom.cfg ]; then
  194. source ${config_directory}/custom.cfg
  195. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  196. source $prefix/custom.cfg;
  197. fi
  198. ### END /etc/grub.d/41_custom ###
Comments powered by Disqus