¿Eres usuario de Linux Mint? ¿Necesita averiguar cómo editar sus PPA en su sistema pero no sabe qué hacer? ¡Podemos ayudar! ¡Siga esta guía mientras repasamos cómo editar PPA en Linux Mint!

  editar PPA en Linux Mint

Editar PPA en Linux Mint – GUI

Si eres un usuario de Linux Mint, es probable que no seas un gran fanático de lidiar con la terminal. Afortunadamente, es posible editar PPA en Linux Mint con una GUI. He aquí cómo hacerlo.

Primero, presione la tecla Win en el teclado para abrir la ventana de búsqueda en Cinnamon, Mate o cualquier escritorio Linux Mint que esté usando. Desde allí, escriba «Fuentes de software».

Si no puede encontrar la aplicación en los resultados de la búsqueda, presione Alt + F2 para abrir el menú de inicio rápido. Después de eso, escriba el comando pkexec mintsources y presione la tecla Enter para abrirlo.

Una vez que esté en la aplicación Fuentes de software en Linux Mint, verá varias opciones diferentes para elegir. Hay «repositorios oficiales», «PPA», «repositorios adicionales», «claves de autenticación» y «mantenimiento».

  Cómo instalar el tema de iconos de Newaita en Linux

Para editar (también conocido como habilitar, deshabilitar o incluso agregar nuevas fuentes de software), busque la sección «PPA» y haga clic en ella. Esta área maneja todos los repositorios de software de terceros que agrega a Mint.

Para agregar un nuevo PPA, haga clic en el botón «Agregar» y agréguelo. Para eliminar uno, haga clic en «Eliminar» y para editar un repositorio existente, haga clic en el botón «Editar».

Cuando haya terminado de editar sus fuentes de software en Linux Mint, cierre la aplicación.

Editar PPA en Linux Mint – Terminal

Otra forma de editar su lista de fuentes de software en Linux Mint es a través de la terminal, abriendo la carpeta /etc/apt/sources.list.d/. En esta área, Linux Mint contiene todas las fuentes de software. Cada PPA que agrega a su sistema obtiene su archivo en esta carpeta.

Para iniciar el proceso de edición, deberá abrir una ventana de terminal en el escritorio de Linux Mint. Presione Ctrl + Alt + T en el teclado o busque «terminal» en el menú de la aplicación y ábralo de esa manera.

Con la ventana de terminal abierta y lista para usar, use el comando CD y muévase a la carpeta /etc/apt/sources.list.d/. Una vez que esté en esta carpeta, puede ejecutar el comando ls para ver el contenido del directorio.

  Cómo instalar JetBrains GoLand en Linux

ls

Si tiene muchos archivos PPA, no marzo ser mucho para clasificar. Para hacerlo más fácil, puede combinar el comando ls con el comando grep filter. Puede utilizar grep para ordenar varias palabras clave.

Por ejemplo, si está tratando de encontrar el ppa de seguridad de Mozilla, debe buscar el comando a continuación.

ls | grep "mozilla"

Eliminar un PPA

Si desea eliminar un PPA de Linux Mint por completo, puede hacerlo directamente en la carpeta usando los comandos básicos del terminal Bash. Para eliminar un PPA del sistema, comience a usar el comando rm y especifique el nombre del archivo PPA.

Por ejemplo, para eliminar Mozilla Security PPA de Linux Mint (el PPA que proporciona actualizaciones rápidas de Firefox y Thunderbird), puede ejecutar el comando rm junto con el archivo “ubuntu-mozilla-security-ppa-focal.list”.

cd /etc/apt/sources.list.d/
sudo rm ubuntu-mozilla-security-ppa-focal.list

Para eliminar cualquier archivo de lista PPA de su PC Linux Mint, simplemente reemplace “my_ppa_file_here.list con el archivo PPA que desea eliminar de Linux Mint (que reside en /etc/apt/sources.list.d/.

cd /etc/apt/sources.list.d/

sudo rm my_ppa_file_here.list

Después de que su PPA se elimine de Linux Mint, deberá ejecutar el comando de actualización. Este comando asegurará que Linux Mint sepa que el antiguo PPA ya no está en el sistema.

sudo apt update

Una vez actualizado, se eliminará su PPA.

  Cómo instalar y crear un USB de arranque con Ventoy en Linux

Editar un PPA existente

Es posible editar cualquier PPA existente en Linux Mint usando el terminal. Para hacerlo, primero deberá ingresar al directorio /etc/apt/sources.list.d/ usando el comando de CD a continuación.

cd /etc/apt/sources.list.d/

Desde aquí, deberá ejecutar el comando ls para ver el contenido de la carpeta de modo que pueda ubicar uno con fines de edición.

ls

O para un mejor filtrado.

ls | grep "name of ppa"

Cuando haya descubierto el nombre de su PPA, use el editor de texto nano para editar el PPA. Por ejemplo, para editar el PPA de seguridad de Mozilla, debe ingresar:

sudo nano ubuntu-mozilla-security-ppa-focal.list

Una vez en el modo de edición, use el editor de texto Nano para ajustar y cambiar lo que quiera. Cuando termine, presione Ctrl + O para guardarlo y presione Ctrl + X para salir de la edición.

Utilice el siguiente ejemplo de comando a continuación para editar cualquier PPA.

cd /etc/apt/sources.list.d/

sudo nano my-ppa-file.list

Agregar un nuevo PPA

Agregar un nuevo PPA a Linux Mint a través del terminal es mucho, mucho más sencillo que eliminarlos o editarlos. Si desea agregar un nuevo PPA a Linux Mint, simplemente use el comando add-apt-repository a continuación.

sudo add-apt-repository ppa:my-ppa/ppa