13 Apr
2015
13 Apr
'15
13:33
On Mon, Apr 13, 2015, at 12:34 AM, Jan Beulich wrote:
(2) If the Xen install doesn't populate xen.efi into that directory, then at every Xen update/upgrade, will xen.efi need to be re-copied manually?
... yes, albeit the grub scripts should be taking care of this as long as there's a reference to the image from other than custom.cfg.
Here that's not the case. Only a single reference exists
cd /boot
egrep -rlni "xen\.efi|xen\.cfg" .
./grub2/custom.cfg
custom.cfg is of course sourced,
cat /etc/grub.d/41_custom
#!/bin/sh
cat <