Contenu de /boot/grub2/grub.cfg
#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub2-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#
### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
load_env
fi
set default="0"
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_msdos
insmod ext2
set root='hd0,msdos5'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos5 --hint-efi=hd0,msdos5 --hint-baremetal=ahci0,msdos5 --hint='hd0,msdos5' 2f2ca3de-01a3-4480-bf54-066622828a0e
else
search --no-floppy --fs-uuid --set=root 2f2ca3de-01a3-4480-bf54-066622828a0e
fi
font="/usr/share/grub/unicode.pf2"
fi
if loadfont $font ; then
set gfxmode=1280x800
load_video
insmod gfxterm
set locale_dir=$prefix/locale
set lang=fr_FR
insmod gettext
fi
terminal_output gfxterm
insmod part_msdos
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
else
search --no-floppy --fs-uuid --set=root e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
fi
insmod gfxmenu
loadfont ($root)/grub2/themes/system/DejaVuSans-10.pf2
loadfont ($root)/grub2/themes/system/DejaVuSans-12.pf2
loadfont ($root)/grub2/themes/system/DejaVuSans-Bold-14.pf2
loadfont ($root)/grub2/fonts/unicode.pf2
insmod png
set theme=($root)/grub2/themes/system/theme.txt
export theme
set timeout=5
### END /etc/grub.d/00_header ###
### BEGIN /etc/grub.d/10_linux ###
menuentry 'Fedora' --class fedora --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-2f2ca3de-01a3-4480-bf54-066622828a0e' {
load_video
set gfxpayload=keep
insmod gzio
insmod part_msdos
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
else
search --no-floppy --fs-uuid --set=root e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
fi
echo 'Chargement de Linux 3.7.9-201.fc18.x86_64…'
linux /vmlinuz-3.7.9-201.fc18.x86_64 root=UUID=2f2ca3de-01a3-4480-bf54-066622828a0e ro rd.md=0 rd.lvm=0 rd.dm=0 vconsole.keymap=fr rd.luks=0 rhgb quiet nouveau.modeset=0 rd.driver.blacklist=nouveau
echo 'Chargement du disque mémoire initial…'
initrd /initramfs-3.7.9-201.fc18.x86_64.img
}
submenu 'Options avancées pour Fedora' $menuentry_id_option 'gnulinux-advanced-2f2ca3de-01a3-4480-bf54-066622828a0e' {
menuentry 'Fedora, avec Linux 3.7.9-201.fc18.x86_64' --class fedora --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.7.9-201.fc18.x86_64-advanced-2f2ca3de-01a3-4480-bf54-066622828a0e' {
load_video
set gfxpayload=keep
insmod gzio
insmod part_msdos
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
else
search --no-floppy --fs-uuid --set=root e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
fi
echo 'Chargement de Linux 3.7.9-201.fc18.x86_64…'
linux /vmlinuz-3.7.9-201.fc18.x86_64 root=UUID=2f2ca3de-01a3-4480-bf54-066622828a0e ro rd.md=0 rd.lvm=0 rd.dm=0 vconsole.keymap=fr rd.luks=0 rhgb quiet nouveau.modeset=0 rd.driver.blacklist=nouveau
echo 'Chargement du disque mémoire initial…'
initrd /initramfs-3.7.9-201.fc18.x86_64.img
}
menuentry 'Fedora, avec Linux 3.7.8-202.fc18.x86_64' --class fedora --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.7.8-202.fc18.x86_64-advanced-2f2ca3de-01a3-4480-bf54-066622828a0e' {
load_video
set gfxpayload=keep
insmod gzio
insmod part_msdos
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
else
search --no-floppy --fs-uuid --set=root e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
fi
echo 'Chargement de Linux 3.7.8-202.fc18.x86_64…'
linux /vmlinuz-3.7.8-202.fc18.x86_64 root=UUID=2f2ca3de-01a3-4480-bf54-066622828a0e ro rd.md=0 rd.lvm=0 rd.dm=0 vconsole.keymap=fr rd.luks=0 rhgb quiet
echo 'Chargement du disque mémoire initial…'
initrd /initramfs-3.7.8-202.fc18.x86_64.img
}
menuentry 'Fedora, avec Linux 3.7.7-201.fc18.x86_64' --class fedora --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.7.7-201.fc18.x86_64-advanced-2f2ca3de-01a3-4480-bf54-066622828a0e' {
load_video
set gfxpayload=keep
insmod gzio
insmod part_msdos
insmod ext2
set root='hd0,msdos1'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos1 --hint-efi=hd0,msdos1 --hint-baremetal=ahci0,msdos1 --hint='hd0,msdos1' e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
else
search --no-floppy --fs-uuid --set=root e8d3768e-98ac-4841-b5cc-da2b6cd0b27a
fi
echo 'Chargement de Linux 3.7.7-201.fc18.x86_64…'
linux /vmlinuz-3.7.7-201.fc18.x86_64 root=UUID=2f2ca3de-01a3-4480-bf54-066622828a0e ro rd.md=0 rd.lvm=0 rd.dm=0 vconsole.keymap=fr rd.luks=0 rhgb quiet
echo 'Chargement du disque mémoire initial…'
initrd /initramfs-3.7.7-201.fc18.x86_64.img
}
}
### END /etc/grub.d/10_linux ###
### BEGIN /etc/grub.d/20_linux_xen ###
### END /etc/grub.d/20_linux_xen ###
### BEGIN /etc/grub.d/20_ppc_terminfo ###
### END /etc/grub.d/20_ppc_terminfo ###
### 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.
menuentry 'Fedora 19 rawhide' {
insmod ext2
set root=(hd0,2)
chainloader +1
}
### 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 ###
