Debian

Is an Operating System running on Linux

Setup

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

Usage

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

Packages

• Package directory to manually download things