Public bug reported: If a ppa is added to the system, and then the ppa is deleted, add-apt- repository fails to remove it, e.g.:
$ sudo add-apt-repository -r ppa:ubuntu-support-team/add-apt-repository ERROR: ppa 'ubuntu-support-team/add-apt-repository' not found (use --login if private) the script should remove the source.list entry, which can be calculated even if the ppa doesn't exist anymore. ** Affects: software-properties (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to software-properties in Ubuntu. https://bugs.launchpad.net/bugs/1915553 Title: add-apt-repository won't remove ppa if ppa has been deleted Status in software-properties package in Ubuntu: New Bug description: If a ppa is added to the system, and then the ppa is deleted, add-apt- repository fails to remove it, e.g.: $ sudo add-apt-repository -r ppa:ubuntu-support-team/add-apt-repository ERROR: ppa 'ubuntu-support-team/add-apt-repository' not found (use --login if private) the script should remove the source.list entry, which can be calculated even if the ppa doesn't exist anymore. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/software-properties/+bug/1915553/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp