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 Ubuntu
Touch seeded 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/~touch-packages
Post to : touch-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~touch-packages
More help : https://help.launchpad.net/ListHelp
