add-apt-repository does not remove URI if dist is different from local dist
Bug #1915840 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 configured repository has a 'dist' value different from the local system's codename, add-apt-repository will not remove it.
For example, if this line is currently configured:
deb [arch=amd64] http://
It will not be removed with the command:
sudo add-apt-repository -r -U http://
To post a comment you must log in.