Re: Grub

J'édite /etc/grub.d/40_custom :

$ less /etc/grub.d/40_custom
#!/bin/sh
exec tail -n +3 0ドル
# 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 'Debian GNU/Linux, avec Linux 3.3.7-20120522 avec des options top moumoute !!!' --class debian --class gnu-linux --class gnu --class os {
 insmod part_msdos
 insmod ext2
 set root='(hd0,msdos2)'
 search --no-floppy --fs-uuid --set 348f2f55-a3ec-450f-9968-143f0e0b7825
 linux /boot/vmlinuz-3.3.7-20120522 root=UUID=348f2f55-a3ec-450f-9968-143f0e0b7825 ro init=/sbin/e4rat-preload my_option1 my_option1 my_option1
 initrd /boot/initrd.img-3.3.7-20120522
}
menuentry 'Debian GNU/Linux, avec Linux 3.3.7-20120522 sans e4rat' --class debian --class gnu-linux --class gnu --class os {
 insmod part_msdos
 insmod ext2
 set root='(hd0,msdos2)'
 search --no-floppy --fs-uuid --set 348f2f55-a3ec-450f-9968-143f0e0b7825
 linux /boot/vmlinuz-3.3.7-20120522 root=UUID=348f2f55-a3ec-450f-9968-143f0e0b7825 ro init=/sbin/init quiet
 initrd /boot/initrd.img-3.3.7-20120522
}

Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)