search for: 8c7020a9

...IF_UUID=`xe pif-list device=eth0` should be PIF_UUID=`xe pif-list device=eth0 --minimal` (this is wrong twice in the same section) Otherwise: # echo $PIF_UUID uuid ( RO) : 9ff5d3b4-e4fd-ef03-fc25-29ad1adfaa42 device ( RO): eth0 currently-attached ( RO): true VLAN ( RO): -1 network-uuid ( RO): 8c7020a9-411d-d788-8dea-3dcd3932dad6 which doesn't work when you use PIF_UUID with other commands In "4.3/ Set Xen as default in GRUB" the recommended way would be to use dpkg-divert e.g. dpkg-divert --divert /etc/grub.d/08_linux_xen --rename /etc/grub.d/20_linux_xen (taken from wiki.debian...