From 584497f2a082e43bc41576bc420a6349658df6c9 Mon Sep 17 00:00:00 2001 From: kyodev Date: Fri, 16 Jun 2017 00:43:53 +0200 Subject: [PATCH] typo --- docs/debian/grub/chroot-grub-install.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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