From 5aedfec22ebb50d3ab5866bd03eb6f35b79094ea Mon Sep 17 00:00:00 2001 From: Sander Date: Thu, 9 Mar 2023 10:10:45 +0100 Subject: [PATCH] Update operating_system.md (#26496) Co-authored-by: Franck Nijhof --- source/_includes/installation/operating_system.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/source/_includes/installation/operating_system.md b/source/_includes/installation/operating_system.md index 839d2ddb146..6781004eb46 100644 --- a/source/_includes/installation/operating_system.md +++ b/source/_includes/installation/operating_system.md @@ -181,6 +181,9 @@ This can be accomplished either by using a live operating system (e.g. Ubuntu) a --loader '\EFI\BOOT\bootx64.efi' ``` +The efibootmgr command will only work if you booted the live operating system in UEFI mode, so be sure to boot from your USB flash drive in this mode. +Depending on your privileges on the prompt, you may need to run efibootmgr using sudo. + Or else, the BIOS might provide you with a tool to add boot options, there you can specify the path to the EFI file: ```text