Note du 18/11/2019 : Attention, depuis septembre 2018, plusieurs versions de Windows 10 sont parues. N’ayant plus été confronté au problème de réparation d’UEFI depuis l’écriture de ce tuto, je ne peux garantir que les commandes ci-dessous soient 100% fonctionnelles. Merci de votre compréhension.
Il y a quelques semaines, j’ai installé une pré-version d’Ubuntu 18.10 Cosmic Cuttlefish en dual-boot sur mon disque. N’ayant pas vraiment été emballé par cette nouvelle version, j’ai purement et simplement supprimé la partition contenant la distribution.
Mal m’en a pris car malheureusement, je n’ai pas anticipé la catastrophe : je me retrouve avec un GRUB complètement cassé.
Naturellement, mon premier réflexe a été de booter sur mon CD d’installation de Windows 10 pour lancer l’utilitaire de réparation du démarrage du système.