On 03/21/18 07:02, CLOSE Dave wrote:
I think I found the problem. Comparing packages installed on this
problem machine with others, I noticed that grubby was not installed.
After installing it and then re-installing the kernel, I find the kernel
in /boot where it belongs.
Evidently, something isn't checking dependencies sufficiently. I saw no
error messages indicating anything was missing.
If that turns out to be the case, and if things on that machine used to work, it
would be interesting to know if/when grubby was removed.
Also, if it fails with grubby out it sounds like a very good bugzilla.
--
Conjecture is just a conclusion based on incomplete information. It isn't a fact.