I wrote a "add-apt-repository" version which supports a --remove option
** Attachment added: "my add-apt-repository version with an --remove option" http://launchpadlibrarian.net/33462788/add-apt-repository -- add-apt-repository should have an option to remove ppa from sources.list https://bugs.launchpad.net/bugs/446216 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
