According to How can PPAs be removed? there are mainly 3 methods to get rid of a PPA:
Use the
add-apt-repository
command:sudo add-apt-repository --remove ppa:???/???
Manually remove the
.list
file:sudo rm /etc/apt/sources.list.d/????.list
Use additional tools like e.g.
ppa-purge
... (not topic of this question)
I am curious what the difference between the first and second option is, i.e. is there anything more that add-apt-repository --remove
does, compared to just deleting the .list
file?
One example I could think of would be GPG keys that were installed together with the PPA. Will add-apt-repository
handle and remove them in contrast to just rm
-ing the .list
file?
Please note that neither removing GPG keys nor using ppa-purge
is the topic of this question!
add-apt-repository
should remove them as well./etc/apt/trusted.gpg.d/
add-apt-repository
and manually deleting the.list
file. GPG keys were just an example that came into my mind what could be a difference. Editing now to make that more clear... - But let the link stay there, as it's at least related.