in linux efi uefi boot démarrage}}
===== UEFI : Modifier la séquence de boot via efibootmgr ======
Depuis le système d'exploitation, il est possible de modifier la configuration du démarrage UEFI avec la commande **efibootmgr**.
===== Modifier le timeout =====
Passer le timeout à 10 seconde... ebtest -l '\EFI\debian\grubx64.efi'
</code>
Pour modifier l'ordre de boot on copie l'ordre de boot actuel a
