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. #
  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
  22. if [ x"${feature_menuentry_id}" = xy ]; then
  23. menuentry_id_option="--id"
  24. else
  25. menuentry_id_option=""
  26. fi
  28. export menuentry_id_option
  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
  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. }
  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,gpt8'
  68. if [ x$feature_platform_search_hint = xy ]; then
  69. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt8 --hint-efi=hd0,gpt8 --hint-baremetal=ahci0,gpt8 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  70. else
  71. search --no-floppy --fs-uuid --set=root 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  72. fi
  73. font="/usr/share/grub/unicode.pf2"
  74. fi
  76. if loadfont $font ; then
  77. set gfxmode=auto
  78. load_video
  79. insmod gfxterm
  80. set locale_dir=$prefix/locale
  81. set lang=fr_FR
  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=10
  91. # Fallback normal timeout code in case the timeout_style feature is
  92. # unavailable.
  93. else
  94. set timeout=10
  95. fi
  96. fi
  97. ### END /etc/grub.d/00_header ###
  99. ### BEGIN /etc/grub.d/05_debian_theme ###
  100. set menu_color_normal=white/black
  101. set menu_color_highlight=black/light-gray
  102. ### END /etc/grub.d/05_debian_theme ###
  104. ### BEGIN /etc/grub.d/06_mint_theme ###
  105. set menu_color_normal=white/black
  106. set menu_color_highlight=white/light-gray
  107. ### END /etc/grub.d/06_mint_theme ###
  109. ### BEGIN /etc/grub.d/10_linux ###
  110. function gfxmode {
  111. set gfxpayload="$1"
  112. if [ "$1" = "keep" ]; then
  113. set vt_handoff=vt.handoff=7
  114. else
  115. set vt_handoff=
  116. fi
  117. }
  118. if [ ${recordfail} != 1 ]; then
  119. if [ -e ${prefix}/gfxblacklist.txt ]; then
  120. if hwmatch ${prefix}/gfxblacklist.txt 3; then
  121. if [ ${match} = 0 ]; then
  122. set linux_gfx_mode=keep
  123. else
  124. set linux_gfx_mode=text
  125. fi
  126. else
  127. set linux_gfx_mode=text
  128. fi
  129. else
  130. set linux_gfx_mode=keep
  131. fi
  132. else
  133. set linux_gfx_mode=text
  134. fi
  135. export linux_gfx_mode
  136. if [ "$linux_gfx_mode" != "text" ]; then load_video; fi
  137. menuentry 'Linux Mint 17 Cinnamon 64-bit, 3.13.0-24-generic (/dev/sda8)' --class ubuntu --class gnu-linux --class gnu --class os {
  138. recordfail
  139. gfxmode $linux_gfx_mode
  140. insmod gzio
  141. insmod part_gpt
  142. insmod ext2
  143. set root='hd0,gpt8'
  144. if [ x$feature_platform_search_hint = xy ]; then
  145. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt8 --hint-efi=hd0,gpt8 --hint-baremetal=ahci0,gpt8 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  146. else
  147. search --no-floppy --fs-uuid --set=root 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  148. fi
  149. linux /boot/vmlinuz-3.13.0-24-generic root=UUID=6ccefc22-c0e6-4d3a-845b-184a7a03f503 ro quiet splash $vt_handoff
  150. initrd /boot/initrd.img-3.13.0-24-generic
  151. }
  152. 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 {
  153. recordfail
  154. insmod gzio
  155. insmod part_gpt
  156. insmod ext2
  157. set root='hd0,gpt8'
  158. if [ x$feature_platform_search_hint = xy ]; then
  159. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt8 --hint-efi=hd0,gpt8 --hint-baremetal=ahci0,gpt8 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  160. else
  161. search --no-floppy --fs-uuid --set=root 6ccefc22-c0e6-4d3a-845b-184a7a03f503
  162. fi
  163. echo 'Chargement de Linux 3.13.0-24-generic…'
  164. linux /boot/vmlinuz-3.13.0-24-generic root=UUID=6ccefc22-c0e6-4d3a-845b-184a7a03f503 ro recovery nomodeset
  165. echo 'Chargement du disque mémoire initial…'
  166. initrd /boot/initrd.img-3.13.0-24-generic
  167. }
  168. ### END /etc/grub.d/10_linux ###
  170. ### BEGIN /etc/grub.d/10_lupin ###
  171. ### END /etc/grub.d/10_lupin ###
  173. ### BEGIN /etc/grub.d/20_linux_xen ###
  175. ### END /etc/grub.d/20_linux_xen ###
  177. ### BEGIN /etc/grub.d/20_memtest86+ ###
  178. ### END /etc/grub.d/20_memtest86+ ###
  180. ### BEGIN /etc/grub.d/30_os-prober ###
  181. menuentry 'Windows Boot Manager (sur /dev/sda1)' --class windows --class os $menuentry_id_option 'osprober-efi-6ECC-3701' {
  182. insmod part_gpt
  183. insmod fat
  184. set root='hd0,gpt1'
  185. if [ x$feature_platform_search_hint = xy ]; then
  186. search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt1 --hint-efi=hd0,gpt1 --hint-baremetal=ahci0,gpt1 6ECC-3701
  187. else
  188. search --no-floppy --fs-uuid --set=root 6ECC-3701
  189. fi
  190. chainloader /EFI/Microsoft/Boot/bootmgfw.efi
  191. }
  192. set timeout_style=menu
  193. if [ "${timeout}" = 0 ]; then
  194. set timeout=10
  195. fi
  196. ### END /etc/grub.d/30_os-prober ###
  198. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  199. menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
  200. fwsetup
  201. }
  202. ### END /etc/grub.d/30_uefi-firmware ###
  204. ### BEGIN /etc/grub.d/40_custom ###
  205. # This file provides an easy way to add custom menu entries. Simply type the
  206. # menu entries you want to add after this comment. Be careful not to change
  207. # the 'exec tail' line above.
  208. ### END /etc/grub.d/40_custom ###
  210. ### BEGIN /etc/grub.d/41_custom ###
  211. if [ -f ${config_directory}/custom.cfg ]; then
  212. source ${config_directory}/custom.cfg
  213. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  214. source $prefix/custom.cfg;
  215. fi
  216. ### END /etc/grub.d/41_custom ###