#
# 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 [ "${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 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,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
else
search --no-floppy --fs-uuid --set=root e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
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=-1
else
if [ x$feature_timeout_style = xy ] ; then
set timeout_style=menu
set timeout=5
# Fallback normal timeout code in case the timeout_style feature is
# unavailable.
else
set timeout=5
fi
fi
### END /etc/grub.d/00_header ###
### BEGIN /etc/grub.d/05_debian_theme ###
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
else
search --no-floppy --fs-uuid --set=root e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
fi
insmod png
if background_image /usr/share/images/desktop-base/lines-grub.png; then
set color_normal=white/black
set color_highlight=black/white
else
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
fi
### END /etc/grub.d/05_debian_theme ###
### BEGIN /etc/grub.d/10_linux ###
function gfxmode {
set gfxpayload="${1}"
}
set linux_gfx_mode=
export linux_gfx_mode
menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-e5c3d251-1e71-4a09-b8b8-9e20cd61ddef' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
else
search --no-floppy --fs-uuid --set=root e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
fi
echo 'Chargement de Linux 3.16.0-4-686-pae…'
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=e5c3d251-1e71-4a09-b8b8-9e20cd61ddef ro initrd=/install/gtk/initrd.gz quiet
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-686-pae
}
submenu 'Options avancées pour Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced-e5c3d251-1e71-4a09-b8b8-9e20cd61ddef' {
menuentry 'Debian GNU/Linux, avec Linux 3.16.0-4-686-pae' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-686-pae-advanced-e5c3d251-1e71-4a09-b8b8-9e20cd61ddef' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
else
search --no-floppy --fs-uuid --set=root e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
fi
echo 'Chargement de Linux 3.16.0-4-686-pae…'
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=e5c3d251-1e71-4a09-b8b8-9e20cd61ddef ro initrd=/install/gtk/initrd.gz quiet
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-686-pae
}
menuentry 'Debian GNU/Linux, with Linux 3.16.0-4-686-pae (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-686-pae-recovery-e5c3d251-1e71-4a09-b8b8-9e20cd61ddef' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
else
search --no-floppy --fs-uuid --set=root e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
fi
echo 'Chargement de Linux 3.16.0-4-686-pae…'
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=e5c3d251-1e71-4a09-b8b8-9e20cd61ddef ro single initrd=/install/gtk/initrd.gz
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-686-pae
}
menuentry 'Debian GNU/Linux, avec Linux 3.16.0-4-586' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-586-advanced-e5c3d251-1e71-4a09-b8b8-9e20cd61ddef' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
else
search --no-floppy --fs-uuid --set=root e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
fi
echo 'Chargement de Linux 3.16.0-4-586…'
linux /boot/vmlinuz-3.16.0-4-586 root=UUID=e5c3d251-1e71-4a09-b8b8-9e20cd61ddef ro initrd=/install/gtk/initrd.gz quiet
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-586
}
menuentry 'Debian GNU/Linux, with Linux 3.16.0-4-586 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-586-recovery-e5c3d251-1e71-4a09-b8b8-9e20cd61ddef' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
else
search --no-floppy --fs-uuid --set=root e5c3d251-1e71-4a09-b8b8-9e20cd61ddef
fi
echo 'Chargement de Linux 3.16.0-4-586…'
linux /boot/vmlinuz-3.16.0-4-586 root=UUID=e5c3d251-1e71-4a09-b8b8-9e20cd61ddef ro single initrd=/install/gtk/initrd.gz
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-586
}
}
### END /etc/grub.d/10_linux ###
### BEGIN /etc/grub.d/20_linux_xen ###
### END /etc/grub.d/20_linux_xen ###
### BEGIN /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###
### BEGIN /etc/grub.d/30_otheros ###
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Debian GNU/Linux (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=5608931f-9612-48b8-9c54-617151212059 ro initrd=/install/gtk/initrd.gz quiet
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Debian GNU/Linux, avec Linux 3.16.0-4-686-pae (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=5608931f-9612-48b8-9c54-617151212059 ro initrd=/install/gtk/initrd.gz quiet
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Debian GNU/Linux, with Linux 3.16.0-4-686-pae (recovery mode) (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=5608931f-9612-48b8-9c54-617151212059 ro single initrd=/install/gtk/initrd.gz
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Debian GNU/Linux, avec Linux 3.16.0-4-586 (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-586 root=UUID=5608931f-9612-48b8-9c54-617151212059 ro initrd=/install/gtk/initrd.gz quiet
initrd /boot/initrd.img-3.16.0-4-586
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Debian GNU/Linux, with Linux 3.16.0-4-586 (recovery mode) (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-586 root=UUID=5608931f-9612-48b8-9c54-617151212059 ro single initrd=/install/gtk/initrd.gz
initrd /boot/initrd.img-3.16.0-4-586
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Debian GNU/Linux (8.5) (sur /dev/sda7) (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro quiet splash
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Emmabuntus Debian Edition GNU/Linux (sur /dev/sda7) (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro quiet splash
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Emmabuntus Debian Edition GNU/Linux, with Linux 3.16.0-4-686-pae (sur /dev/sda7) (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro quiet splash
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Emmabuntus Debian Edition GNU/Linux, with Linux 3.16.0-4-686-pae (recovery mode) (sur /dev/sda7) (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro single
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Emmabuntus Debian Edition GNU/Linux, with Linux 3.16.0-4-586 (sur /dev/sda7) (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-586 root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro quiet splash
initrd /boot/initrd.img-3.16.0-4-586
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda5.
menuentry "Emmabuntus Debian Edition GNU/Linux, with Linux 3.16.0-4-586 (recovery mode) (sur /dev/sda7) (on /dev/sda5)" {
set root=(hostdisk//dev/sda,msdos5)
search --no-floppy --fs-uuid --set=root 5608931f-9612-48b8-9c54-617151212059
linux /boot/vmlinuz-3.16.0-4-586 root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro single
initrd /boot/initrd.img-3.16.0-4-586
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda7.
menuentry "Emmabuntus Debian Edition GNU/Linux (on /dev/sda7)" {
set root=(hostdisk//dev/sda,msdos7)
search --no-floppy --fs-uuid --set=root 03959a82-dd7d-4890-b770-eb2b30a8eeb0
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro quiet splash
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda7.
menuentry "Emmabuntus Debian Edition GNU/Linux, with Linux 3.16.0-4-686-pae (on /dev/sda7)" {
set root=(hostdisk//dev/sda,msdos7)
search --no-floppy --fs-uuid --set=root 03959a82-dd7d-4890-b770-eb2b30a8eeb0
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro quiet splash
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda7.
menuentry "Emmabuntus Debian Edition GNU/Linux, with Linux 3.16.0-4-686-pae (recovery mode) (on /dev/sda7)" {
set root=(hostdisk//dev/sda,msdos7)
search --no-floppy --fs-uuid --set=root 03959a82-dd7d-4890-b770-eb2b30a8eeb0
linux /boot/vmlinuz-3.16.0-4-686-pae root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro single
initrd /boot/initrd.img-3.16.0-4-686-pae
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda7.
menuentry "Emmabuntus Debian Edition GNU/Linux, with Linux 3.16.0-4-586 (on /dev/sda7)" {
set root=(hostdisk//dev/sda,msdos7)
search --no-floppy --fs-uuid --set=root 03959a82-dd7d-4890-b770-eb2b30a8eeb0
linux /boot/vmlinuz-3.16.0-4-586 root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro quiet splash
initrd /boot/initrd.img-3.16.0-4-586
}
# This entry automatically added by the Debian installer for an existing
# linux installation on /dev/sda7.
menuentry "Emmabuntus Debian Edition GNU/Linux, with Linux 3.16.0-4-586 (recovery mode) (on /dev/sda7)" {
set root=(hostdisk//dev/sda,msdos7)
search --no-floppy --fs-uuid --set=root 03959a82-dd7d-4890-b770-eb2b30a8eeb0
linux /boot/vmlinuz-3.16.0-4-586 root=UUID=03959a82-dd7d-4890-b770-eb2b30a8eeb0 ro single
initrd /boot/initrd.img-3.16.0-4-586
}
### END /etc/grub.d/30_otheros ###
### BEGIN /etc/grub.d/30_uefi-firmware ###
### END /etc/grub.d/30_uefi-firmware ###
### 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 ###