grub.cfg 7.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248
  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 [ "${initrdfail}" = 2 ]; then
  13. set initrdfail=
  14. elif [ "${initrdfail}" = 1 ]; then
  15. set next_entry="${prev_entry}"
  16. set prev_entry=
  17. save_env prev_entry
  18. if [ "${next_entry}" ]; then
  19. set initrdfail=2
  20. fi
  21. fi
  22. if [ "${next_entry}" ] ; then
  23. set default="${next_entry}"
  24. set next_entry=
  25. save_env next_entry
  26. set boot_once=true
  27. else
  28. set default="0"
  29. fi
  30. if [ x"${feature_menuentry_id}" = xy ]; then
  31. menuentry_id_option="--id"
  32. else
  33. menuentry_id_option=""
  34. fi
  35. export menuentry_id_option
  36. if [ "${prev_saved_entry}" ]; then
  37. set saved_entry="${prev_saved_entry}"
  38. save_env saved_entry
  39. set prev_saved_entry=
  40. save_env prev_saved_entry
  41. set boot_once=true
  42. fi
  43. function savedefault {
  44. if [ -z "${boot_once}" ]; then
  45. saved_entry="${chosen}"
  46. save_env saved_entry
  47. fi
  48. }
  49. function initrdfail {
  50. if [ -n "${have_grubenv}" ]; then if [ -n "${partuuid}" ]; then
  51. if [ -z "${initrdfail}" ]; then
  52. set initrdfail=1
  53. if [ -n "${boot_once}" ]; then
  54. set prev_entry="${default}"
  55. save_env prev_entry
  56. fi
  57. fi
  58. save_env initrdfail
  59. fi; fi
  60. }
  61. function recordfail {
  62. set recordfail=1
  63. if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; fi
  64. }
  65. function load_video {
  66. if [ x$feature_all_video_module = xy ]; then
  67. insmod all_video
  68. else
  69. insmod efi_gop
  70. insmod efi_uga
  71. insmod ieee1275_fb
  72. insmod vbe
  73. insmod vga
  74. insmod video_bochs
  75. insmod video_cirrus
  76. fi
  77. }
  78. if [ x$feature_default_font_path = xy ] ; then
  79. font=unicode
  80. else
  81. insmod part_gpt
  82. insmod ext2
  83. set root='hd1,gpt2'
  84. if [ x$feature_platform_search_hint = xy ]; then
  85. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt2 --hint-efi=hd1,gpt2 --hint-baremetal=ahci1,gpt2 2f36a39f-6c1a-49e1-93c2-135973d53ce0
  86. else
  87. search --no-floppy --fs-uuid --set=root 2f36a39f-6c1a-49e1-93c2-135973d53ce0
  88. fi
  89. font="/usr/share/grub/unicode.pf2"
  90. fi
  91. if loadfont $font ; then
  92. set gfxmode=auto
  93. load_video
  94. insmod gfxterm
  95. set locale_dir=$prefix/locale
  96. set lang=fr_FR
  97. insmod gettext
  98. fi
  99. terminal_output gfxterm
  100. if [ "${recordfail}" = 1 ] ; then
  101. set timeout=30
  102. else
  103. if [ x$feature_timeout_style = xy ] ; then
  104. set timeout_style=hidden
  105. set timeout=0
  106. # Fallback hidden-timeout code in case the timeout_style feature is
  107. # unavailable.
  108. elif sleep --interruptible 0 ; then
  109. set timeout=0
  110. fi
  111. fi
  112. ### END /etc/grub.d/00_header ###
  113. ### BEGIN /etc/grub.d/05_debian_theme ###
  114. set menu_color_normal=white/black
  115. set menu_color_highlight=black/light-gray
  116. ### END /etc/grub.d/05_debian_theme ###
  117. ### BEGIN /etc/grub.d/10_linux ###
  118. function gfxmode {
  119. set gfxpayload="${1}"
  120. if [ "${1}" = "keep" ]; then
  121. set vt_handoff=vt.handoff=7
  122. else
  123. set vt_handoff=
  124. fi
  125. }
  126. if [ "${recordfail}" != 1 ]; then
  127. if [ -e ${prefix}/gfxblacklist.txt ]; then
  128. if [ ${grub_platform} != pc ]; then
  129. set linux_gfx_mode=keep
  130. elif hwmatch ${prefix}/gfxblacklist.txt 3; then
  131. if [ ${match} = 0 ]; then
  132. set linux_gfx_mode=keep
  133. else
  134. set linux_gfx_mode=text
  135. fi
  136. else
  137. set linux_gfx_mode=text
  138. fi
  139. else
  140. set linux_gfx_mode=keep
  141. fi
  142. else
  143. set linux_gfx_mode=text
  144. fi
  145. export linux_gfx_mode
  146. menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-2f36a39f-6c1a-49e1-93c2-135973d53ce0' {
  147. recordfail
  148. load_video
  149. gfxmode $linux_gfx_mode
  150. insmod gzio
  151. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  152. insmod part_gpt
  153. insmod ext2
  154. set root='hd1,gpt2'
  155. if [ x$feature_platform_search_hint = xy ]; then
  156. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt2 --hint-efi=hd1,gpt2 --hint-baremetal=ahci1,gpt2 2f36a39f-6c1a-49e1-93c2-135973d53ce0
  157. else
  158. search --no-floppy --fs-uuid --set=root 2f36a39f-6c1a-49e1-93c2-135973d53ce0
  159. fi
  160. linux /boot/vmlinuz-5.4.0-54-generic root=UUID=2f36a39f-6c1a-49e1-93c2-135973d53ce0 ro ipv6.disable=1 quiet splash ipv6.disable=1 $vt_handoff
  161. initrd /boot/initrd.img-5.4.0-54-generic
  162. }
  163. submenu 'Options avancées pour Ubuntu' $menuentry_id_option 'gnulinux-advanced-2f36a39f-6c1a-49e1-93c2-135973d53ce0' {
  164. menuentry 'Ubuntu, avec Linux 5.4.0-54-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-5.4.0-54-generic-advanced-2f36a39f-6c1a-49e1-93c2-135973d53ce0' {
  165. recordfail
  166. load_video
  167. gfxmode $linux_gfx_mode
  168. insmod gzio
  169. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  170. insmod part_gpt
  171. insmod ext2
  172. set root='hd1,gpt2'
  173. if [ x$feature_platform_search_hint = xy ]; then
  174. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt2 --hint-efi=hd1,gpt2 --hint-baremetal=ahci1,gpt2 2f36a39f-6c1a-49e1-93c2-135973d53ce0
  175. else
  176. search --no-floppy --fs-uuid --set=root 2f36a39f-6c1a-49e1-93c2-135973d53ce0
  177. fi
  178. echo 'Chargement de Linux 5.4.0-54-generic…'
  179. linux /boot/vmlinuz-5.4.0-54-generic root=UUID=2f36a39f-6c1a-49e1-93c2-135973d53ce0 ro ipv6.disable=1 quiet splash ipv6.disable=1 $vt_handoff
  180. echo 'Chargement du disque mémoire initial…'
  181. initrd /boot/initrd.img-5.4.0-54-generic
  182. }
  183. menuentry 'Ubuntu, avec Linux 5.4.0-54-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-5.4.0-54-generic-recovery-2f36a39f-6c1a-49e1-93c2-135973d53ce0' {
  184. recordfail
  185. load_video
  186. insmod gzio
  187. if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
  188. insmod part_gpt
  189. insmod ext2
  190. set root='hd1,gpt2'
  191. if [ x$feature_platform_search_hint = xy ]; then
  192. search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt2 --hint-efi=hd1,gpt2 --hint-baremetal=ahci1,gpt2 2f36a39f-6c1a-49e1-93c2-135973d53ce0
  193. else
  194. search --no-floppy --fs-uuid --set=root 2f36a39f-6c1a-49e1-93c2-135973d53ce0
  195. fi
  196. echo 'Chargement de Linux 5.4.0-54-generic…'
  197. linux /boot/vmlinuz-5.4.0-54-generic root=UUID=2f36a39f-6c1a-49e1-93c2-135973d53ce0 ro recovery nomodeset dis_ucode_ldr ipv6.disable=1
  198. echo 'Chargement du disque mémoire initial…'
  199. initrd /boot/initrd.img-5.4.0-54-generic
  200. }
  201. }
  202. ### END /etc/grub.d/10_linux ###
  203. ### BEGIN /etc/grub.d/10_linux_zfs ###
  204. ### END /etc/grub.d/10_linux_zfs ###
  205. ### BEGIN /etc/grub.d/20_linux_xen ###
  206. ### END /etc/grub.d/20_linux_xen ###
  207. ### BEGIN /etc/grub.d/20_memtest86+ ###
  208. ### END /etc/grub.d/20_memtest86+ ###
  209. ### BEGIN /etc/grub.d/30_os-prober ###
  210. ### END /etc/grub.d/30_os-prober ###
  211. ### BEGIN /etc/grub.d/30_uefi-firmware ###
  212. menuentry 'UEFI Firmware Settings' $menuentry_id_option 'uefi-firmware' {
  213. fwsetup
  214. }
  215. ### END /etc/grub.d/30_uefi-firmware ###
  216. ### BEGIN /etc/grub.d/35_fwupd ###
  217. ### END /etc/grub.d/35_fwupd ###
  218. ### BEGIN /etc/grub.d/40_custom ###
  219. # This file provides an easy way to add custom menu entries. Simply type the
  220. # menu entries you want to add after this comment. Be careful not to change
  221. # the 'exec tail' line above.
  222. ### END /etc/grub.d/40_custom ###
  223. ### BEGIN /etc/grub.d/41_custom ###
  224. if [ -f ${config_directory}/custom.cfg ]; then
  225. source ${config_directory}/custom.cfg
  226. elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
  227. source $prefix/custom.cfg;
  228. fi
  229. ### END /etc/grub.d/41_custom ###