Revista Informática

Limpiando repositorios PPA en Ubuntu

Publicado el 06 enero 2020 por Ubuntizando

Muchas veces a base de agregar repositorios PPA en Ubuntu, acabamos con un sistema inestable, con errores de dependencias o que tarda mil años en buscar todas las actualizaciones que van apareciendo. Vamos, una tortura.

Una solución es limpiar los repositorios de esa lista que nos dan problemas o son obsoletos. Existe una herramienta llamada ppa-purge que simplifica el proceso a golpe de terminal. Pero antes de empezar debemos resolver una pregunta. ¿Como listamos todos los repositorios agregados?

Desde terminal escribimos: grep -i ppa.launchpad.net /etc/apt/sources.list.d/*.list > listappa.txt

De esta forma tenemos un fichero de texto con la lista completa. Es fácil, editando el fichero, ver que repositorio nos interesa eliminar.

Ahora toca hablar de ppa-purge, básicamente es un script que elimina facílmente esa entradas de repositorios y claves publicas. Otra ventaja del script es que los programas que hubiéramos instalado con esos repositorios, el propio script se encarga de intentar sustituir los paquetes por sus correspondientes de los repositorios oficiales de Ubuntu. Siempre que sea posible.

Desde Ubuntu 10.10 se encuentra disponible para instalación desde los repositorios oficiales. Es suficiente con ejecutar en nuestro terminal lo siguiente: sudo apt install ppa-purge

Una vez instalado debemos usarlo ejecutando la siguiente sintaxis: sudo ppa-purge ppa:mi_ppa/subdirectorio/

Así, por ejemplo, estos serían varios ejemplos para instalar y desinstalar un PPA:

sudo add-apt-repository ppa:chromium-daily
sudo ppa-purge ppa:chromium-daily

sudo add-apt-repository ppa:tualatrix/gloobus
sudo ppa-purge ppa:tualatrix/gloobus

En el primer ejemplo, instalamos y desinstalamos el PPA completo y en el segundo sólo un directorio. Al usar ppa-purge, obviamente, debemos especificar la misma ruta que habíamos utilizado con add-apt-repository o de la lista que hemos obtenido usando grep.

Nota: Ultima actualización 07/01/2020


Volver a la Portada de Logo Paperblog