add-apt-repository won't remove ppa if ppa has been deleted
Bug #1915553 reported by
Dan Streetman
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| software-properties (Ubuntu) |
New
|
Undecided
|
Unassigned | ||
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-
ERROR: ppa 'ubuntu-
the script should remove the source.list entry, which can be calculated even if the ppa doesn't exist anymore.
To post a comment you must log in.
