Согласно Как можно удалить 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файла?
Одним из примеров, который я мог бы придумать, были бы ключи GPG, которые были установлены вместе с PPA. Будете add-apt-repositoryобрабатывать и удалять их в отличие от простого rm-ing .listфайла?
Обратите внимание, что ни удаление ключей GPG, ни использование не ppa-purgeявляется темой этого вопроса!
/etc/apt/trusted.gpg.d/
add-apt-repositoryудалением .listфайла и его удалением вручную . Ключи GPG были просто примером, который мог прийти мне на ум, в чем может быть разница. Редактируем сейчас, чтобы сделать это более понятным ... - Но пусть ссылка останется, так как она, по крайней мере, связана.
add-apt-repositoryследует также удалить их.