Well, I've just looked into the grub-customizer source code, and I'm afraid that you appear to be mistaken. grub-customizer indeed creates the 10_linux_proxy script which is emitting these menu entries (whether it's supposed to or not), so you should ask its developer for help.
IMO, it is a bug in grub-customizer that it fails to remove the proxy script it created when you remove grub-customizer. If you don't want it, perhaps you should just remove that script by hand. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/756424 Title: update-grub2 keeps finding duplicated kernel options for me to boot from -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
