Bug#748302: Add Xen parameters to /etc/default/grub

[Ian Campbell]

On Fri, 2014-05-16 at 00:09 +0100, Colin Watson wrote:
> On Thu, May 15, 2014 at 11:30:04PM +0200, Paul Muster wrote:
> > Please add placeholders/examples for Xen kernel config to /etc/default/grub
> 
> I would rather not change /etc/default/grub except when absolutely
> necessary, because doing so causes configuration file prompts for
> everyone.

Everyone or just people who have local modifications?

>   Is the reference to "info grub" not sufficient?
>