add-apt-repository does not remove URI if dist is different from local dist

Bug #1915840 reported by Dan Streetman
6
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://dl.google.com/linux/chrome/deb/ stable main

It will not be removed with the command:

sudo add-apt-repository -r -U http://dl.google.com/linux/chrome/deb/

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.