This all used to be so simple, but I cannot for the life of me figure out howto solve this issue, which perhaps has something to do with the fact that I have sort of installed things in reverse order.
First I installed Antergos, and all was good. Then I figured out that I would, after all, be needing Windows on occasion (something which I do hope won’t last), so I grabbed a space SSD and installed Windows 10 on it, just as Antergos has it’s own dedicated SSD.
Something did get messed up in the process, though I don’t recall exactly what or how, but regardless, I don’t have a primary SSD with Antergos and a secondary SSD with Windows 10.
On boot Angergos boots just fine and should I which to boot Windows I can do so by overriding the boot priority in BIOS, so everything works.
Except none of the procedures I’ve found for adding Windows to grub have worked. I even accidentally left my bootable Windows install USB plugged in, and that was found, just not Windows 10 install I want to find.
So, everything works, this is simply a matter of convenience, but it does rather bother me.
I dunno, perhaps I’ve missing or misunderstood something on the Arch wiki and/or various forum posts I’ve read, but it certainly doesn’t seem so.
At the end of the day perhaps it’s better this way, but I would very much like to know what I’m doing wrong.
Update:
So as it happens, I’ve come somewhat closer to an answer
I was massing about in BIOS, or whatever you call it these days, and when I chose to boot only EFI, only the Windows install was available, and when I chose to boot only legacy, only that Linux install was available.
The answer is obvious of course. For some reason I cannot begin to comprehend,Linux wasn’t installed as EFI, and Windows was, although it insist on not being GPT, while the Linux install works perfectly from GPT.
I can’t say I quite understand, but at any rate the solution is simple. I’m gonna nuke both disks and ensure they’re GTP, then I’m going to reinstall Windows, ensuring to boot in UEFI mode, and them I’m gonna reinstall Linux, again ensuring to boot in UEFI mode.
Assuming that everything works as intended, The problem should be solved.It’s a bit more work than I’d hoped for, but at least there’s nothing much to backup, and the install are uncomplicated and relatively quick.
Conclusion and solution:
Should you ever experience anything similar, make damn sure you’ve actually your various install media in UEFI mode.
You may need to disable fast boot in BIOS, and after that:
sudo os-prober
sudo update grub
should do the trick.
You may run in to the problem that update-grub simply isn’t available on your system, but fear not, it’s just a simple script, and there are readily available howtos online.