Ceci est une ancienne révision du document !
GRUB
Sous Debian, le fichier de configuration est /etc/default/grub. Après avoir fait des modifications, il faut régénérer GRUB:
sudo update-grub
Depuis un live CD
fdisk -l mount /dev/sda1 /mnt/ mount -t proc none /mnt/proc mount -o bind /dev /mnt/dev mount -t sysfs sys /mnt/sys chroot /mnt/ /bin/bash update-grub sync reboot