add-apt-repository should have an option to remove ppa from sources.list
Bug #446216 reported by
Bernd Schlapsi
This bug affects 19 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Software Properties |
New
|
Undecided
|
Unassigned | ||
software-properties (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned | ||
Bug Description
With the "Software Sources" GUI it's possible to delete an configured ppa entry. But there is no possibility to delete a ppa with the add-apt-repository command. A new option would be nice:
sudo add-apt-repository --remove ppa:xxxxxxx
ProblemType: Bug
Architecture: i386
Date: Thu Oct 8 12:36:17 2009
DistroRelease: Ubuntu 9.10
Package: python-
PackageArchitec
ProcEnviron:
LANG=en_US.UTF-8
SHELL=/bin/bash
ProcVersionSign
SourcePackage: software-properties
Uname: Linux 2.6.31-12-generic i686
Related branches
lp:~mac9416/software-properties/add-apt-repo-remove-opt
- Ubuntu Core Development Team: Pending requested
-
Diff: 45 lines (+18/-5)1 file modifiedadd-apt-repository (+18/-5)
Changed in software-properties (Ubuntu): | |
status: | New → Triaged |
importance: | Undecided → Wishlist |
To post a comment you must log in.
the script add-apt-repository uses the python package "softwareproper ties. And there is the class method "SoftwareProper ties.remove_ source" .
So far as I understand the source-code, the functionality is in the used library but not in the "add-apt- repository" script