How about 20180715.1?
The underlying problem is that the CD sources aren't being added correctly to pull in the package. That's why /usr/lib/grub/x86_64-efi/modinfo.sh is missing; because it's not installed.
How about 20180715.1?
The underlying problem is that the CD sources aren't being added correctly to pull in the package. That's why /usr/lib/ grub/x86_ 64-efi/ modinfo. sh is missing; because it's not installed.