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]

Reply via email to