https://www.fosslicious.com/2018/08/easy-way-to-delete-ppa-on-linux.html