====== GRUB ======
===== Erreur lors de la maj windows 10 =====

on obtient un prompt avec 
<Code>
grub rescue>
</Code>

on ne peut faire que des commandes comme ''ls''
<Code>
(hd0)(hd0,gpt1)(hd0,gpt2)(hd0,gpt3)(hd0,gpt4)(hd0,gpt5)(hd0,gpt6)(hd0,gpt7)(hd0,gpt8)
</Code>
faire un ''ls (hd0,gpt1)'' jusqu'a obtenir autre chose que 
<Code>
error:unknown filesystem
</Code>
dans mon cas il détecte ''ext4'' sur ''(hd0,gpt7)''
Donc on lance les commandes suivantes :
<Code>
set root=(hd0,gpt7)
set prefix=(hd0,gpt7)/boot/grub
insmode normal
normal
</Code>
et le linux reboot, ensuite lancer ''boot-repair'' pouyr réparer le grub