We really need to fix such bugs instead of working around them. Hardcoding device names is responsible for literally hundreds of other open bug reports, and the only way to fix this is to use a more dynamic approach throughout. Sergei, I hope there's a separate bug report filed for the problem you describe?
-- /etc/default/grub cannot disable use of UUID https://bugs.launchpad.net/bugs/499483 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs