[Bug 1915840] [NEW] add-apt-repository does not remove URI if dist is different from local dist

[Dan Streetman]

Public bug reported:

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/

** Affects: software-properties (Ubuntu)
     Importance: Undecided
         Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to software-properties in Ubuntu.
https://bugs.launchpad.net/bugs/1915840

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

Status in software-properties package in Ubuntu:
  New

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 manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/software-properties/+bug/1915840/+subscriptions