diff --git a/docs/debian/grub/chroot-grub-install.md b/docs/debian/grub/chroot-grub-install.md index a1db655..754fa53 100644 --- a/docs/debian/grub/chroot-grub-install.md +++ b/docs/debian/grub/chroot-grub-install.md @@ -173,11 +173,11 @@ un fichier _.efi_ doit être visible sur le disque, à priori boot0000, avec une HD(1,GPT,d82668a0-175f-487f-b843-8bd6abb090d8,0x800,0x100000)/File(\EFI\debian\grubx64.efi) ``` -## Essais +## essais * à tester dans la console de D-I * il semblerait que parfois, sur une machine 64bits, un EFI en 32bits doit être installé, ce que ne sait - pas fait d-i. dans ce cas, en console d-i?: `apt-get install grub-efi-ia32 grub-efi-ia32-bin` + pas faire d-i. dans ce cas, en console d-i?,: `apt-get install grub-efi-ia32 grub-efi-ia32-bin` au pire, après refaire une install dans retoucher au grub