No error. The installation seemed complete in some instants (way faster than Ubuntu or the previous Pop OS on the same machine), then GRUB would say it can't boot (I can't remember the exact phrase though but the fact it was GRUB suggests it's not about "secure boot", it was switched off anyway).
> but a wiping the disk and setting up partitions again fixed it.
In my case it didn't. Perhaps I should try some other way, e.g. text-mode fdisk.
No error. The installation seemed complete in some instants (way faster than Ubuntu or the previous Pop OS on the same machine), then GRUB would say it can't boot (I can't remember the exact phrase though but the fact it was GRUB suggests it's not about "secure boot", it was switched off anyway).
> but a wiping the disk and setting up partitions again fixed it.
In my case it didn't. Perhaps I should try some other way, e.g. text-mode fdisk.