oui :
# ls -l /boot
total 36046
-rw-r--r-- 1 root root 157726 oct. 11 22:50 config-3.16.0-4-amd64
-rw-r--r-- 1 root root 129281 oct. 11 21:32 config-3.2.0-4-amd64
drwxr-xr-x 3 root root 4096 janv. 1 1970 efi
drwxr-xr-x 5 root root 6144 nov. 3 11:30 grub
-rw-r--r-- 1 root root 14701555 nov. 3 12:40 initrd.img-3.16.0-4-amd64
-rw-r--r-- 1 root root 11164139 oct. 29 13:03 initrd.img-3.2.0-4-amd64
-rw-r--r-- 1 root root 2672227 oct. 11 22:50 System.map-3.16.0-4-amd64
-rw-r--r-- 1 root root 2114657 oct. 11 21:32 System.map-3.2.0-4-amd64
-rw-r--r-- 1 root root 3112848 oct. 11 22:50 vmlinuz-3.16.0-4-amd64
-rw-r--r-- 1 root root 2842880 oct. 11 21:29 vmlinuz-3.2.0-4-amd64
Les noyaux par ordre dans /boot/grub/grub.cfg :
menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-2d7c6526-1466-4da6-bd85-57eb35552891' {
submenu 'Options avancées pour Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced-2d7c6526-1466-4da6-bd85-57eb35552891' {
menuentry 'Debian GNU/Linux, avec Linux 3.16.0-4-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-amd64-advanced-2d7c6526-1466-4da6-bd85-57eb35552891' {
menuentry 'Debian GNU/Linux, with Linux 3.16.0-4-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-amd64-init-sysvinit-2d7c6526-1466-4da6-bd85-57eb35552891' {
menuentry 'Debian GNU/Linux, with Linux 3.16.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-amd64-recovery-2d7c6526-1466-4da6-bd85-57eb35552891' {
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-advanced-2d7c6526-1466-4da6-bd85-57eb35552891' {
menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-init-sysvinit-2d7c6526-1466-4da6-bd85-57eb35552891' {
menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-recovery-2d7c6526-1466-4da6-bd85-57eb35552891'
Et l’index par défaut dans /etc/default/grub :
GRUB_DEFAULT=0
Donc je pense que le noyau utilisé par défaut est le 3.16.0-4-amd64 pourtant uname -a me renvoi :
C’est donc grub2.
# cat /etc/default/grub
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
# info -f grub -n 'Simple configuration'
GRUB_DEFAULT=0
GRUB_TIMEOUT=5
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet"
GRUB_CMDLINE_LINUX=""
# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"
# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console
# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE=640x480
# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true
# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"
# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"
# grub-mkconfig
Création du fichier de configuration GRUB…
#
# 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_gpt
insmod ext2
set root='hd0,gpt3'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt3 --hint-efi=hd0,gpt3 --hint-baremetal=ahci0,gpt3 --hint='hd0,gpt3' 8d345bd8-ced1-4841-a788-4b246924944b
else
search --no-floppy --fs-uuid --set=root 8d345bd8-ced1-4841-a788-4b246924944b
fi
font="/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 ###
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
### 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
Image Linux trouvée : /boot/vmlinuz-3.16.0-4-amd64
Image mémoire initiale trouvée : /boot/initrd.img-3.16.0-4-amd64
menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-2d7c6526-1466-4da6-bd85-57eb35552891' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_gpt
insmod ext2
set root='hd0,gpt2'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 --hint='hd0,gpt2' 2d7c6526-1466-4da6-bd85-57eb35552891
else
search --no-floppy --fs-uuid --set=root 2d7c6526-1466-4da6-bd85-57eb35552891
fi
echo 'Chargement de Linux 3.16.0-4-amd64…'
linux /boot/vmlinuz-3.16.0-4-amd64 root=UUID=2d7c6526-1466-4da6-bd85-57eb35552891 ro quiet
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-amd64
}
submenu 'Options avancées pour Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced-2d7c6526-1466-4da6-bd85-57eb35552891' {
menuentry 'Debian GNU/Linux, avec Linux 3.16.0-4-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-amd64-advanced-2d7c6526-1466-4da6-bd85-57eb35552891' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_gpt
insmod ext2
set root='hd0,gpt2'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 --hint='hd0,gpt2' 2d7c6526-1466-4da6-bd85-57eb35552891
else
search --no-floppy --fs-uuid --set=root 2d7c6526-1466-4da6-bd85-57eb35552891
fi
echo 'Chargement de Linux 3.16.0-4-amd64…'
linux /boot/vmlinuz-3.16.0-4-amd64 root=UUID=2d7c6526-1466-4da6-bd85-57eb35552891 ro quiet
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-amd64
}
menuentry 'Debian GNU/Linux, with Linux 3.16.0-4-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-amd64-init-sysvinit-2d7c6526-1466-4da6-bd85-57eb35552891' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_gpt
insmod ext2
set root='hd0,gpt2'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 --hint='hd0,gpt2' 2d7c6526-1466-4da6-bd85-57eb35552891
else
search --no-floppy --fs-uuid --set=root 2d7c6526-1466-4da6-bd85-57eb35552891
fi
echo 'Chargement de Linux 3.16.0-4-amd64…'
linux /boot/vmlinuz-3.16.0-4-amd64 root=UUID=2d7c6526-1466-4da6-bd85-57eb35552891 ro quiet init=/lib/sysvinit/init
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-amd64
}
menuentry 'Debian GNU/Linux, with Linux 3.16.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.16.0-4-amd64-recovery-2d7c6526-1466-4da6-bd85-57eb35552891' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_gpt
insmod ext2
set root='hd0,gpt2'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 --hint='hd0,gpt2' 2d7c6526-1466-4da6-bd85-57eb35552891
else
search --no-floppy --fs-uuid --set=root 2d7c6526-1466-4da6-bd85-57eb35552891
fi
echo 'Chargement de Linux 3.16.0-4-amd64…'
linux /boot/vmlinuz-3.16.0-4-amd64 root=UUID=2d7c6526-1466-4da6-bd85-57eb35552891 ro single
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.16.0-4-amd64
}
Image Linux trouvée : /boot/vmlinuz-3.2.0-4-amd64
Image mémoire initiale trouvée : /boot/initrd.img-3.2.0-4-amd64
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-advanced-2d7c6526-1466-4da6-bd85-57eb35552891' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_gpt
insmod ext2
set root='hd0,gpt2'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 --hint='hd0,gpt2' 2d7c6526-1466-4da6-bd85-57eb35552891
else
search --no-floppy --fs-uuid --set=root 2d7c6526-1466-4da6-bd85-57eb35552891
fi
echo 'Chargement de Linux 3.2.0-4-amd64…'
linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=2d7c6526-1466-4da6-bd85-57eb35552891 ro quiet
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-init-sysvinit-2d7c6526-1466-4da6-bd85-57eb35552891' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_gpt
insmod ext2
set root='hd0,gpt2'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 --hint='hd0,gpt2' 2d7c6526-1466-4da6-bd85-57eb35552891
else
search --no-floppy --fs-uuid --set=root 2d7c6526-1466-4da6-bd85-57eb35552891
fi
echo 'Chargement de Linux 3.2.0-4-amd64…'
linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=2d7c6526-1466-4da6-bd85-57eb35552891 ro quiet init=/lib/sysvinit/init
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-recovery-2d7c6526-1466-4da6-bd85-57eb35552891' {
load_video
insmod gzio
if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
insmod part_gpt
insmod ext2
set root='hd0,gpt2'
if [ x$feature_platform_search_hint = xy ]; then
search --no-floppy --fs-uuid --set=root --hint-bios=hd0,gpt2 --hint-efi=hd0,gpt2 --hint-baremetal=ahci0,gpt2 --hint='hd0,gpt2' 2d7c6526-1466-4da6-bd85-57eb35552891
else
search --no-floppy --fs-uuid --set=root 2d7c6526-1466-4da6-bd85-57eb35552891
fi
echo 'Chargement de Linux 3.2.0-4-amd64…'
linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=2d7c6526-1466-4da6-bd85-57eb35552891 ro single
echo 'Chargement du disque mémoire initial…'
initrd /boot/initrd.img-3.2.0-4-amd64
}
}
### 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_uefi-firmware ###
Adding boot menu entry for EFI firmware configuration
menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
fwsetup
}
### 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 ###
fait
Encore merci Pascal pour ton aide précieuse.