Skip to content


Is an Operating System running on Linux


Boot in UEFI Shell and not in Debian

Sometime, the setup is successful, but you boot into the UEFI Shell If you do efibootmgr, you'll see that the debian entry is missing - see Source

It can be edited from the BIOS, or the EFI partition can be changed to the default name: from /EFI/debian/grubx64.efi to Unified Extensible Firmware Interface


  • Default bash won't include /sbin directories in PATH except if called like this: su -