Qual è la differenza principale tra ppa-purge
e add-apt-repository -r
. Quale meglio eliminare gli elementi residui e i motivi per usarli uno sopra l'altro? Non add-apt-repository -r
deve fare che cosa ppa-purge
fare?
Modifica: rimuovete anche entrambe le chiavi dal portachiavi di apt?
ppa-purge
se uso un repository per installare pkg che non è disponibile nel repository ufficiale, ad esempio "ubuntu-tweak", dal momento che non esiste un pkg per ripristinare il pkg ufficiale?