According to How can PPAs be removed? there are mainly 3 methods to get rid of a PPA:
- Use the - add-apt-repositorycommand:- sudo add-apt-repository --remove ppa:???/???
- Manually remove the - .listfile:- 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!
 
     
     
     
    