BOOT : option boot debian12 disparue après MAJ noyau linux + MAJ Windows10

Bonjour @dindoun,

Merci pour ton retour. Dans quelles circonstances as-tu besoin de faire ce genre de manip’ ?

Concernant ton PS :
J’ai prévu les commandes « mount /dev/sdXY/var /media/system/var » et « mount /dev/sdXY/tmp /media/system/tmp » selon les recommandations de PascalHambourg dans sa réponse ici, sachant que j’ai séparé les répertoires /, /var, /tmp, /home sur des partitions différentes à l’installation de Debian.
En y réfléchissant maintenant suite à ton PS (je n’ai pas encore testé lsblk -f), je pense en effet que je devrais peut-être faire plutôt :

mount /dev/sdXV /media/system/var où ‹ sdXV › est le nom de la partition de /var de ma Debian
mount /dev/sdXT /media/system/tmp où ‹ sdXT › est le nom de la partition de /tmp de ma Debian