On Mon, 9 Apr 2018 10:55:39 -0500
Bruno Wolff III <bruno(a)wolff.to> wrote:
I had filed a bug (1564745) for this a day earlier.
Sorry about that. I did a search, and when the top result was the
issue, I didn't look further.
One option would be to change the name to match the kernel version.
Another option would be put it in kernel instead of kernel-core.
Another option would be to have a versioned name in kernel-core and
a symlink to it with the normal name in kernel.
I vote for one. There's a file for each installed kernel, and upon
kernel removal, it just disappears without any checks to see if there
are other kernels needing the file.