I can only see two resolutions that might satisfy Brian's request: 1) teach apt-add-repository to differentiate between areas and distro names, 2) remove the 2nd sourceline variant described in the documentation.
The 2nd option would break valid existing scripts that use this tool. The 1st option requires a database of all valid areas and distro names, which seems infeasible. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/900081 Title: sources line is modified if a complete apt line is given To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/software-properties/+bug/900081/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
