De acuerdo con ¿Cómo se pueden eliminar los PPA? Existen principalmente 3 métodos para deshacerse de un PPA:
Usa el
add-apt-repository
comando:sudo add-apt-repository --remove ppa:???/???
Eliminar manualmente el
.list
archivo:sudo rm /etc/apt/sources.list.d/????.list
Utilice herramientas adicionales como, por ejemplo,
ppa-purge
... (no es tema de esta pregunta)
Tengo curiosidad por saber cuál es la diferencia entre la primera y la segunda opción, es decir, ¿hay algo más que add-apt-repository --remove
hacer, en comparación con solo eliminar el .list
archivo?
Un ejemplo que podría pensar sería en las claves GPG que se instalaron junto con el PPA. ¿Los add-apt-repository
manejará y eliminará en contraste con solo hacer rm
clic en el .list
archivo?
¡Tenga en cuenta que ni quitar las llaves GPG ni usarlas ppa-purge
es el tema de esta pregunta!
/etc/apt/trusted.gpg.d/
add-apt-repository
eliminar manualmente el .list
archivo. Las claves GPG fueron solo un ejemplo que se me ocurrió que podría ser una diferencia. Editando ahora para que quede más claro ... - Pero deje que el enlace permanezca allí, ya que al menos está relacionado.
add-apt-repository
debería eliminarlos también.