I think this is growing severely overengineered. It is already more
complex than it needs to be.
The scripts in /etc/grub.d *are* config files. There's no reason you
can't edit them to suit your needs.
I agree that my solution does seem rather overengineered.
My problem is that while /etc/gr
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 want other thin
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 want other things). I could add an extra
> script to /et
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 want other things). I could add an extra
script to /etc/grub.d to do this, but then I have to copy the logic in
10_linux to
