### BEGIN /etc/grub.d/00_header ### insmod part_gpt insmod part_msdos if [ -s $prefix/grubenv ]; then load_env fi if [ "${next_entry}" ] ; then set default="${next_entry}" set next_entry= save_env next_entry set boot_once=true else set default="${saved_entry}" 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 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 search --no-floppy --fs-uuid --set=root c461e81d-f7a8-4d29-a874-f441afe07e45 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_input console terminal_output gfxterm insmod part_gpt insmod ext2 search --no-floppy --fs-uuid --set=root c461e81d-f7a8-4d29-a874-f441afe07e45 insmod gfxmenu loadfont ($root)/usr/share/grub/themes/sleek/DejaVuSans-48.pf2 loadfont ($root)/usr/share/grub/themes/sleek/DejaVuSans-Regular-14.pf2 loadfont ($root)/usr/share/grub/themes/sleek/DejaVuSans-Regular-16.pf2 loadfont ($root)/usr/share/grub/themes/sleek/terminus-14.pf2 loadfont ($root)/usr/share/grub/themes/sleek/terminus-16.pf2 insmod png set theme=($root)/usr/share/grub/themes/sleek/theme.txt export theme if [ x$feature_timeout_style = xy ] ; then set timeout_style=menu set timeout=1 # Fallback normal timeout code in case the timeout_style feature is # unavailable. else set timeout=1 fi