Как можно удалить PPA? в основном 3 способа избавиться от PPA:
Используйте команду add-apt-repository:sudo add-apt-repository --remove ppa:???/???
Вручную удалите файл .list: sudo rm /etc/apt/sources.list.d/????.list
Используйте дополнительные инструменты, например, например. ppa-purge ... (не тема этого вопроса) Мне любопытно, какая разница между первой и второй опцией, т.е. есть ли что-то еще, что add-apt-repository --remove, по сравнению с просто удалением .list file?
В качестве примера я мог бы подумать, что это будут GPG-ключи, которые были установлены вместе с PPA. Будет ли add-apt-repository обрабатывать и удалять их в отличие от rm -в файле .list?
Обратите внимание, что ни удаление ключей GPG, ни использование ppa-purge не являются темой этого вопроса!
Нет, apt-add-repository не будет обрабатывать ключи GPG, поэтому, если вы хотите также удалить ключи, используйте rm /etc/apt/sources.list.d/???.list, а затем GPG Ключи от /etc/apt/trusted.gpg.d/