Ubuntu
software-properties package

  1. Bug #838507
  2. Comment #2

Comment 2 for bug 838507

Revision history for this message
Gregory Margo (gmargo) wrote :

The proposed fix still does not address the missing documentation mentioned in the older bug report comment #2:

Additional related bug: The --remove option is not documented in the add-apt-repository(1) man page.