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 <<EOF
if [ -f \${config_directory}/custom.cfg ]; then
source \${config_directory}/custom.cfg
elif [ -z "\${config_directory}" -a -f \$prefix/custom.cfg ]; then
source \$prefix/custom.cfg;
fi
EOF
If the goal is to have the updating done automatically, where 'other than
custom.cfg' should that config be placed?
Or should the grub scripts be modified to handle it?
LT
--
To unsubscribe, e-mail: [email protected]
To contact the owner, e-mail: [email protected]