On Tue 19 Jan 22:26:51 2010, Robert Millan wrote:
On Mon, Jan 18, 2010 at 09:03:53PM +, Martin Orr wrote:
I would like to be able to choose between alternative Linux command
lines in my GRUB menu (specifically, I want a "selinux=0" option, but I
can imagine that people might
s patch is only intended as a demonstration: various details of the
implementation still need to be sorted out, such as
internationalization. Suggestions of wildly different
approaches/configuration interfaces are welcome.
Best wishes,
--
Martin Orr
=== modified file 'util/grub-mkconfig
