Debian-facile

Merci beaucoup!

Quelques précisions: sur la référence que tu donnes (https://debian-facile.org/doc:install:d … -problemes) il y a une autre commande qui a le même objectif:

bcdedit /set '{bootmgr}' path \EFI\debian\grubx64.efi

Cell-ci marchait sur ma machine, en remplaçant "debian" par "Mint" (oui, je suis sur Mint). Et... Mon dual-boot est revenu :):)

Vu que c'est là-dessus que j'ai tout mon travail, t'imagines mon soulagement!

Je me suis donc inscrit sur ce forum juste pour dire: Merci, merci, merci!!