Après manipulation du BIOS en passant le mode de démarrage sur legacy au lieu de UEFI, puis en retournant sur UEFI, l'entrée Arch Linux a disparue, ce qui rend impossible le démarrage sur cet OS.
Il est important de démarrer en UEFI, sinon la manipulation risque de ne pas fonctionner !
fdisk -lblkidCette étape est facultative, mais elle servira à vérifier si ce que nous obtenons à la fin est cohérant.
efibootmgr -c -d /dev/disqueAvecEfi -p <numéro partition EFI/ESP> -l /Chemin/Vers/Fichier/.efi -L "Nom entrée"
Exemple : La partition EFI (ou ESP) se situe sur /dev/sdb5. Le fichier de l'OS.efi se situe dans /EFI/arch/archx64.efi de cette partition EFI. La commande sera alors :
efibootmgr -c -d /dev/sdb -p 5 -l /EFI/arch/archx64.efi -L "Arch Linux"
Si vous avez besoin de connaitre le chemin vers le fichier EFI, vous pouvez monter la partition :
mount -t vfat /dev/disquePartitionEFI /lieuDeMontage
efibootmgr -v. Vous devriez voir l'entrée que vous venez d'ajouter précédement.