BTW: The --remove option empties both the repository file and its backup copy. But the empty files remains in /etc/apt/sources.list.d/ folder. Is this correct?
# Our repository files. $ ls -l /etc/apt/sources.list.d/ -rw-r--r-- 1 root root 207 Out 26 15:41 audio-recorder-ubuntu-ppa-wily.list -rw-r--r-- 1 root root 136 Out 26 15:41 audio-recorder-ubuntu-ppa-wily.list.save ------- # Remove a repository. The empty files remain in the system. $ sudo add-apt-repository --remove ppa:audio-recorder/ppa $ ls -l /etc/apt/sources.list.d/ -rw-r--r-- 1 root root 0 Out 26 15:41 audio-recorder-ubuntu-ppa-wily.list -rw-r--r-- 1 root root 0 Out 26 15:41 audio-recorder-ubuntu-ppa-wily.list.save -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1509702 Title: add-apt-repository adds same repository multiple times To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/software-properties/+bug/1509702/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
