According to How can PPAs be removed? there are mainly 3 methods to get rid of a PPA:
sudo add-apt-repository --remove ppa:???/???
Manually remove the
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
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
Please note that neither removing GPG keys nor using
ppa-purge is the topic of this question!