Re: [gentoo-user] can genkernel install files with different names?

[Peter Humphrey]

On Wednesday, 23 October 2019 17:21:50 BST Neil Bothwick wrote:
> On Wed, 23 Oct 2019 15:18:45 +0100, Peter Humphrey wrote:
> > > Yes. It also updates symlinks to all three if you are already using
> > > symlinks.
> >
> > Make install doesn't use symlinks here. This is a UEFI box with /boot
> > formatted FAT32, so the three files are copied, not linked to.
>
> "if you are already using symlinks". It only updates the symlinks if
> they already exist, it won't try to create them from scratch, even if the
> filesystem supports it.

Ah. I missed that. These have been a long four days of wrestling, once again, 
with UEFI booting. A topic for another day.

-- 
Regards,
Peter.