123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248 |
- #
- # DO NOT EDIT THIS FILE
- #
- # It is automatically generated by grub-mkconfig using templates
- # from /etc/grub.d and settings from /etc/default/grub
- #
- ### BEGIN /etc/grub.d/00_header ###
- if [ -s $prefix/grubenv ]; then
- set have_grubenv=true
- load_env
- fi
- if [ "${initrdfail}" = 2 ]; then
- set initrdfail=
- elif [ "${initrdfail}" = 1 ]; then
- set next_entry="${prev_entry}"
- set prev_entry=
- save_env prev_entry
- if [ "${next_entry}" ]; then
- set initrdfail=2
- fi
- fi
- if [ "${next_entry}" ] ; then
- set default="${next_entry}"
- set next_entry=
- save_env next_entry
- set boot_once=true
- else
- set default="0"
- fi
- if [ x"${feature_menuentry_id}" = xy ]; then
- menuentry_id_option="--id"
- else
- menuentry_id_option=""
- fi
- export menuentry_id_option
- if [ "${prev_saved_entry}" ]; then
- set saved_entry="${prev_saved_entry}"
- save_env saved_entry
- set prev_saved_entry=
- save_env prev_saved_entry
- set boot_once=true
- fi
- function savedefault {
- if [ -z "${boot_once}" ]; then
- saved_entry="${chosen}"
- save_env saved_entry
- fi
- }
- function initrdfail {
- if [ -n "${have_grubenv}" ]; then if [ -n "${partuuid}" ]; then
- if [ -z "${initrdfail}" ]; then
- set initrdfail=1
- if [ -n "${boot_once}" ]; then
- set prev_entry="${default}"
- save_env prev_entry
- fi
- fi
- save_env initrdfail
- fi; fi
- }
- function recordfail {
- set recordfail=1
- if [ -n "${have_grubenv}" ]; then if [ -z "${boot_once}" ]; then save_env recordfail; fi; fi
- }
- function load_video {
- if [ x$feature_all_video_module = xy ]; then
- insmod all_video
- else
- insmod efi_gop
- insmod efi_uga
- insmod ieee1275_fb
- insmod vbe
- insmod vga
- insmod video_bochs
- insmod video_cirrus
- fi
- }
- if [ x$feature_default_font_path = xy ] ; then
- font=unicode
- else
- insmod part_gpt
- insmod ext2
- set root='hd1,gpt2'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt2 --hint-efi=hd1,gpt2 --hint-baremetal=ahci1,gpt2 2f36a39f-6c1a-49e1-93c2-135973d53ce0
- else
- search --no-floppy --fs-uuid --set=root 2f36a39f-6c1a-49e1-93c2-135973d53ce0
- fi
- font="/usr/share/grub/unicode.pf2"
- fi
- if loadfont $font ; then
- set gfxmode=auto
- load_video
- insmod gfxterm
- set locale_dir=$prefix/locale
- set lang=fr_FR
- insmod gettext
- fi
- terminal_output gfxterm
- if [ "${recordfail}" = 1 ] ; then
- set timeout=30
- else
- if [ x$feature_timeout_style = xy ] ; then
- set timeout_style=hidden
- set timeout=0
- # Fallback hidden-timeout code in case the timeout_style feature is
- # unavailable.
- elif sleep --interruptible 0 ; then
- set timeout=0
- fi
- fi
- ### END /etc/grub.d/00_header ###
- ### BEGIN /etc/grub.d/05_debian_theme ###
- set menu_color_normal=white/black
- set menu_color_highlight=black/light-gray
- ### END /etc/grub.d/05_debian_theme ###
- ### BEGIN /etc/grub.d/10_linux ###
- function gfxmode {
- set gfxpayload="${1}"
- if [ "${1}" = "keep" ]; then
- set vt_handoff=vt.handoff=7
- else
- set vt_handoff=
- fi
- }
- if [ "${recordfail}" != 1 ]; then
- if [ -e ${prefix}/gfxblacklist.txt ]; then
- if [ ${grub_platform} != pc ]; then
- set linux_gfx_mode=keep
- elif hwmatch ${prefix}/gfxblacklist.txt 3; then
- if [ ${match} = 0 ]; then
- set linux_gfx_mode=keep
- else
- set linux_gfx_mode=text
- fi
- else
- set linux_gfx_mode=text
- fi
- else
- set linux_gfx_mode=keep
- fi
- else
- set linux_gfx_mode=text
- fi
- export linux_gfx_mode
- menuentry 'Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-2f36a39f-6c1a-49e1-93c2-135973d53ce0' {
- recordfail
- load_video
- gfxmode $linux_gfx_mode
- insmod gzio
- if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
- insmod part_gpt
- insmod ext2
- set root='hd1,gpt2'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt2 --hint-efi=hd1,gpt2 --hint-baremetal=ahci1,gpt2 2f36a39f-6c1a-49e1-93c2-135973d53ce0
- else
- search --no-floppy --fs-uuid --set=root 2f36a39f-6c1a-49e1-93c2-135973d53ce0
- fi
- 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
- initrd /boot/initrd.img-5.4.0-54-generic
- }
- submenu 'Options avancées pour Ubuntu' $menuentry_id_option 'gnulinux-advanced-2f36a39f-6c1a-49e1-93c2-135973d53ce0' {
- 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' {
- recordfail
- load_video
- gfxmode $linux_gfx_mode
- insmod gzio
- if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
- insmod part_gpt
- insmod ext2
- set root='hd1,gpt2'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt2 --hint-efi=hd1,gpt2 --hint-baremetal=ahci1,gpt2 2f36a39f-6c1a-49e1-93c2-135973d53ce0
- else
- search --no-floppy --fs-uuid --set=root 2f36a39f-6c1a-49e1-93c2-135973d53ce0
- fi
- echo 'Chargement de Linux 5.4.0-54-generic…'
- 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
- echo 'Chargement du disque mémoire initial…'
- initrd /boot/initrd.img-5.4.0-54-generic
- }
- 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' {
- recordfail
- load_video
- insmod gzio
- if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
- insmod part_gpt
- insmod ext2
- set root='hd1,gpt2'
- if [ x$feature_platform_search_hint = xy ]; then
- search --no-floppy --fs-uuid --set=root --hint-bios=hd1,gpt2 --hint-efi=hd1,gpt2 --hint-baremetal=ahci1,gpt2 2f36a39f-6c1a-49e1-93c2-135973d53ce0
- else
- search --no-floppy --fs-uuid --set=root 2f36a39f-6c1a-49e1-93c2-135973d53ce0
- fi
- echo 'Chargement de Linux 5.4.0-54-generic…'
- linux /boot/vmlinuz-5.4.0-54-generic root=UUID=2f36a39f-6c1a-49e1-93c2-135973d53ce0 ro recovery nomodeset dis_ucode_ldr ipv6.disable=1
- echo 'Chargement du disque mémoire initial…'
- initrd /boot/initrd.img-5.4.0-54-generic
- }
- }
- ### END /etc/grub.d/10_linux ###
- ### BEGIN /etc/grub.d/10_linux_zfs ###
- ### END /etc/grub.d/10_linux_zfs ###
- ### BEGIN /etc/grub.d/20_linux_xen ###
- ### END /etc/grub.d/20_linux_xen ###
- ### BEGIN /etc/grub.d/20_memtest86+ ###
- ### END /etc/grub.d/20_memtest86+ ###
- ### BEGIN /etc/grub.d/30_os-prober ###
- ### END /etc/grub.d/30_os-prober ###
- ### BEGIN /etc/grub.d/30_uefi-firmware ###
- menuentry 'UEFI Firmware Settings' $menuentry_id_option 'uefi-firmware' {
- fwsetup
- }
- ### END /etc/grub.d/30_uefi-firmware ###
- ### BEGIN /etc/grub.d/35_fwupd ###
- ### END /etc/grub.d/35_fwupd ###
- ### BEGIN /etc/grub.d/40_custom ###
- # This file provides an easy way to add custom menu entries. Simply type the
- # menu entries you want to add after this comment. Be careful not to change
- # the 'exec tail' line above.
- ### END /etc/grub.d/40_custom ###
- ### BEGIN /etc/grub.d/41_custom ###
- if [ -f ${config_directory}/custom.cfg ]; then
- source ${config_directory}/custom.cfg
- elif [ -z "${config_directory}" -a -f $prefix/custom.cfg ]; then
- source $prefix/custom.cfg;
- fi
- ### END /etc/grub.d/41_custom ###
|