Согласно Как можно удалить 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
следует также удалить их.