|
@@ -1,248 +0,0 @@
|
|
-#
|
|
|
|
-# 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 ###
|
|
|