On 5/7/19 10:42 AM, Chris Murphy wrote:
If it's missing or zero length, is curious, but after we know
that, it
must be be fixed so you can run the grub2-mkconfig command now.
It must be empty because otherwise the "cat" command would have given an
error. A very surprising situation though.