Grub et dual boot
Publié le 23 juin 2026
Pour savoir ce que vous utilisez, la commande suivante vous retournera soit BIOS, soit UEFI :
$ [ -d /sys/firmware/efi ] && echo UEFI || echo BIOS
/home/vhsh1501/documentation.benjamin-bruant.com/wp-content/themes/zetheme/single.phpsingle
Publié le 23 juin 2026
Pour savoir ce que vous utilisez, la commande suivante vous retournera soit BIOS, soit UEFI :
$ [ -d /sys/firmware/efi ] && echo UEFI || echo BIOS