update-grub: switching the order of native vs. Xen menu entries

[Ian Campbell]

On Mon, 2012-11-19 at 14:33 +0000, Ian Campbell wrote:
> Hi,
> 
> Currently we have 10_linux and 20_linux_xen in /etc/grub.d meaning that
> the native menu entries take priority over the Xen ones.
> 
> Would it be possible to reverse the order?

Any thoughts on this or is it just a case of waiting until after Wheezy?

>  I think it would normally be
> expected that if you have Xen installed you want to boot it by default.
> 
> Speaking to Adam at UDS a few weeks ago he said that the current
> situation arose because of past concerns over the number of failures to
> boot dom0 under Xen. We believe things have improved on this front with
> current versions of Xen, obviously if there are still known bad cases
> we'd like to hear about them, likewise if new ones crop up in the
> future.
> 
> This request applies to both Debian and Ubuntu update-grub. I suppose it
> must have missed the boat for Wheezy though, but for Jessie perhaps?
> 
> I can put this in a wishlist bug in one or both of b.d.o and launchpad
> if you would like.
> 
> Thanks,
> Ian.
> 

-- 
Ian Campbell
Current Noise: Ludicra - The Tenant

/* And you'll never guess what the dog had */
/*   in its mouth... */
		-- Larry Wall in stab.c from the perl source code