On 15.06.2026 07:10 Paul Scott wrote: > Last night my laptop shut down for some reason (power?). I made > several unsuccessful attempts to reboot. Then I made an unknown key > mistake and it booted to Windows. I then restarted from Windows. This > time it correctly booted to the default linux.
BIOS or EFI boot? For EFI, run efibootmgr from Linux.

