Re: Kernel installed in wrong location

[CLOSE Dave]

Ed Greshko wrote:
> > > All of those directories are empty, yes?
> >
> > Most, but not all:
> > > /boot/7725dfc225d14958a625ddaaaea5962b/4.15.8-300.fc27.x86_64:
> > > initrd  linux
> > > /boot/7725dfc225d14958a625ddaaaea5962b/4.15.9-300.fc27.x86_64:
> > > initrd  linux
>
> I get the feeling, based on the name of the directory and most of 
> them being empty, that these are just "temporary" directories that
> are just not getting deleted for some reason.  I doubt there would be
> any problem to delete them.

Thanks. But that isn't the issue. The issue is that the
4.15.9-300.fc27.x86_64 files are NOT in /boot directly so they aren't
found by mkconfig. Of course, I could copy them there but that doesn't
seem like it should be necessary.