Hmm, one additional thing to note is that when /boot/grub/grub.cfg is
generated, each "linux" line created there gets an additional copy of the
keywords. That is, if I run "dpkg-reconfigured grub-pc" and strip the "Linux
default command line" prompt down to just "nomdmonddf nomdmonisw" and then let
it re-install grub, I'm left with /etc/default/grub containing just
GRUB_CMDLINE_LINUX_DEFAULT="nomdmonddf nomdmonisw"
... but the "linux" lines in grub.cfg look like:
linux /boot/vmlinuz-3.13.0-32-generic root=UUID=[...ID...] ro
nomdmonddf nomdmonisw nomdmonddf nomdmonisw
That makes me think that the intent of the dmraid2mdadm.cfg file is to
add the keywords to the grub.cfg lines, but not to actually change the
GRUB_CMDLINE_LINUX_DEFAULT value in /etc/default/grub. Is there a
proper way to do the former using a default/grub.d/ file without having
the side-effect of changing the default/grub file on grub-pc package
reconfiguration, too?
Nathan
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1291434
Title:
GRUB_CMDLINE_LINUX_DEFAULT contains duplicate options
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1291434/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
