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

[Mick]

On Tuesday, 22 October 2019 21:34:53 BST Neil Bothwick wrote:
> On Tue, 22 Oct 2019 20:35:27 +0100, Mick wrote:
> > > If I trust the makefile to build the entire operating system kernel,
> > > build all the modules it needs and copy all those modules to the
> > > correct locations, I don't see why I can't let it copy one more file
> > > to /boot.
> >
> > I've forgotten, does 'make ... install' also copy the .config and
> > System.map files to boot, too?
>
> Yes. It also updates symlinks to all three if you are already using
> symlinks.

Thanks Hartmut and Neil, I might give it another go on an old system running 
GRUB to see if it grows on me.  :-)

-- 
Regards,
Mick