删除一个ppa

https://itsfoss.com/how-to-remove-or-delete-ppas-quick-tip/

总结如下：

1： 桌面删除，进入software & update，然后在 other software 里面删除

2： 终端删除：

sudo add-apt-repository --remove ppa:PPA_Name/ppa

3： 从source.list删除

sudo ls /etc/apt/sources.list.d
sudo rm -i /etc/apt/sources.list.d/PPA_Name.list

4： 用ppa删除工具删除

sudo apt-get install ppa-purge
sudo ppa-purge ppa-url