Le 09/09/2018 à 23:52, Raphaël POITEVIN a écrit :
et j’aurais dû y penser, mais les modifs faites à la main dans grub sont perdues après réinstallation.
Pas si tu mets les entrées de menu dans /boot/grub/custom.cfg et tu n'effaces pas le contenu de /boot/grub lors de la réinstallation. Par exemple avec une petite partition montée sur /boot/grub et que tu marqueras "ne pas formater" lors de l'installation.