>>> On 13.04.15 at 15:33, <[email protected]> wrote: > 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?
That's the wrong question to ask: When you want a non-auto- generated entry, it needs to go there. Yet what gets copied automatically is (afaik) only what is needed for auto-generated entries. > Or should the grub scripts be modified to handle it? Perhaps that would be possible, but I can't judge whether that would also make sense from a conceptual perspective. Jan -- To unsubscribe, e-mail: [email protected] To contact the owner, e-mail: [email protected]
