Il est nécessaire de booter avec la live USB de votre support d'installation. Vous choisissez d'essayer avant d'installer. Passez en mode terminal en frappant les caractères Ctrl Alt t Si votre clavier n'écrit pas en français, frapper les caractères suivants
setxkbmap fr
Il est nécessaire de connaître la partition qui contient la racine / (root) et la partition EFI. Il est probable que le boot-info vous les ait données. Sinon les commandes suivantes
sudo blkid | grep -Ei "ext4|vfat"
sudo parted -l | grep -Ei "ext4|fat32"
peuvent vous aider à les identifier. Dans la suite de cette réparation elles seront appelées SLASH (Cela sera par exemple sda7 ou mmcblkNp2). et EFI (Cela sera par exemple sda1 ou mmcblkNp1). Ces mots devront être remplacés par les vraies valeurs.
Il est maintenant nécessaire de préparer le grand saut dans la partition installée, Les commandes suivantes sont à faire.
sudo mount -v /dev/SLASH /mnt
sudo mount --bind /dev /mnt/dev
sudo mount -t proc /proc /mnt/proc
sudo mount --bind /run /mnt/run
sudo mount --bind /sys /mnt/sys
modprobe efivars
sudo mount --bind /run/resolvconf /mnt/run/resolvconf
sudo chroot /mnt
Vous êtes maintenant dans la session installée, Vous allez réparer le boot EFI avec les commandes suivantes:
mount -t devpts devpts /dev/pts
mkdir -p /boot/efi
mount -v /dev/EFI /boot/efi
Commande spécifique pour ordinateurs ayant un bios fonctionnant en 64 bits
grub-install
Commandes spécifiques pour ordinateurs ayant un bios fonctionnant en 32 bits
apt update
apt-get remove --allow-remove-essential shim-signed
apt install grub-efi-ia32 grub-efi-ia32-bin
rm -rf /boot/efi/EFI/ubuntu
grub-install -v --target=i386-efi --efi-directory=/boot/efi
Maintenant, on finit le traitement:
update-grub
exit
shutdown -P now
Lorsque l'ordinateur a booté, il faut ajouter la ligne suivante au fichier /etc/fstab afin que les futures commandes grub-install se passent bien.
UUID=XXXX-XXXX /boot/efi vfat umask=0077 0 1
La valeur XXXX-YYYY étant à remplacer par ce qui aura été trouvé au retour de la commande en pensant à remplacer EFI par la bonne valeur
sudo blkid | grep EFI
Si, malgré toutes vos tentatives, la réparation n'a pas fonctionné, le forum est là pour vous aider.
Contributeurs principaux : IDENTIFIANT.