Według Jak można usunąć PPA? istnieją głównie 3 metody na pozbycie się PPA:
Użyj
add-apt-repository
polecenia:sudo add-apt-repository --remove ppa:???/???
Ręcznie usuń
.list
plik:sudo rm /etc/apt/sources.list.d/????.list
Użyj dodatkowych narzędzi, takich jak np.
ppa-purge
... (nie temat tego pytania)
Jestem ciekawy, jaka jest różnica między pierwszą a drugą opcją, tj. Czy jest coś więcej add-apt-repository --remove
, niż tylko usunięcie .list
pliku?
Jednym z przykładów, o którym mogłem pomyśleć, byłyby klucze GPG, które zostały zainstalowane razem z PPA. Czy add-apt-repository
obsłuży je i usunie w przeciwieństwie do rm
justowania .list
pliku?
Należy pamiętać, że ani usunięcie kluczy GPG, ani użycie nie ppa-purge
jest tematem tego pytania!
/etc/apt/trusted.gpg.d/
add-apt-repository
ręcznym usunięciem .list
pliku. Klucze GPG były tylko przykładem, który przyszedł mi do głowy, co może być różnicą. Edycja teraz, aby było to bardziej jasne ... - Ale niech link pozostanie, ponieważ jest przynajmniej powiązany.
add-apt-repository
powinien je również usunąć.