Je n’ai pas trouvé comment enregistrer lors d’un edit à l’affichage du grub.
Mais j’ai quand même avancé.
Il faut en fait mofifier /etc/grub.d/10_linux
En fin de fichier ajouter l’option aux endroits qui convienne:
[quote][…]
cat << EOF
menuentry “${OS}, linux ${version}” {
EOF
prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
cat << EOF
linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro rootfstype=ext4 ${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}
EOF
if test -n “${initrd}” ; then
cat << EOF
initrd ${rel_dirname}/${initrd}
EOF
fi
cat << EOF
}
EOF
cat << EOF
menuentry “${OS}, linux ${version} (single-user mode)” {
EOF
prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
cat << EOF
linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro rootfstype=ext4 single ${GRUB_CMDLINE_LINUX}
EOF
if test -n “${initrd}” ; then
cat << EOF
initrd ${rel_dirname}/${initrd}
EOF
fi
cat << EOF
}
EOF
list=echo $list | tr ' ' '\n' | grep -vx $linux | tr '\n' ' '
done[/quote]
Je suis pas trés bon en programation alors je préviens de suite: c’est trés crade.
Il n’y a aucun test et donc ça ne fonctionne que si vous ne comptez booter que sur des partitions linux en ext4.
Si vous voulez booter sur d’autres partitions que des partitions en ext4 vous n’aurez alors d’autres choix que de renseigner le fichier 40_custom pour que le boot fonctionne.
En ce qui me concerne ça me convient ^^
Une fois 10_linux modifié il ne faut pas oublier de faire un #update-grub2 pour que /boot/grub/grub.cfg soit mofifié en conséquence.