Cómo editar PPA en Linux Mint

¿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!

Cómo 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 búsqueda, presione  Alt + F2  para abrir el menú de inicio rápido. Después de eso, escriba el pkexec mintsources comando 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".

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.

Cómo editar PPA en Linux 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".

Cómo editar PPA en Linux Mint

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 del terminal, abriendo la /etc/apt/sources.list.d/carpeta. 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 del terminal abierta y lista para usar, use el  comando CD  y muévase a la /etc/apt/sources.list.d/carpeta. Una vez que esté en esta carpeta, puede ejecutar el  comando ls  para ver el contenido del directorio.

ls

Si tiene muchos archivos PPA, es posible que haya muchos que 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 de archivo PPA.

Por ejemplo, para eliminar el PPA de seguridad de Mozilla 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

Una vez que se elimine su PPA 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. 

actualización de sudo apt

Una vez actualizado, se eliminará su PPA. 

Editar un PPA existente

Es posible editar cualquier PPA existente en Linux Mint usando el terminal. Para hacerlo, primero deberá ingresar al /etc/apt/sources.list.d/directorio usando el comando 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 una con fines de edición. 

ls 

O para un mejor filtrado.

ls | grep "nombre de 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

Leave a Comment

Diagnóstico de MP3: soluciona hasta 50 problemas con archivos de audio MP3

Diagnóstico de MP3: soluciona hasta 50 problemas con archivos de audio MP3

MP3 Diags es la herramienta definitiva para solucionar problemas en tu colección de música. Etiqueta correctamente tus archivos MP3, añade carátulas de álbumes faltantes y corrige el VBR.

Aplicaciones de notificaciones de escritorio de Google Voice

Aplicaciones de notificaciones de escritorio de Google Voice

Al igual que Google Wave, Google Voice ha generado un gran revuelo en todo el mundo. Google busca cambiar la forma en que nos comunicamos y, dado que se está convirtiendo en...

Descarga Favoritos de Flickr con FlickrFaves

Descarga Favoritos de Flickr con FlickrFaves

Hay muchas herramientas que permiten a los usuarios de Flickr descargar sus fotos en alta calidad, pero ¿hay alguna forma de descargar Favoritos de Flickr? Recientemente, descubrimos...

OK Sampler es un software gratuito de sampleo de música

OK Sampler es un software gratuito de sampleo de música

¿Qué es el sampling? Según Wikipedia, «es el acto de tomar una porción, o muestra, de una grabación de sonido y reutilizarla como un instrumento o...

Copia de seguridad de Google Sites: Importar/Exportar

Copia de seguridad de Google Sites: Importar/Exportar

Google Sites es un servicio de Google que permite alojar un sitio web en su servidor. Sin embargo, existe un problema: no incluye una opción integrada para realizar copias de seguridad.

Aplicación de escritorio de Google Tasks

Aplicación de escritorio de Google Tasks

Google Tasks no es tan popular como otros servicios de Google como Calendar, Wave, Voice, etc., pero aún así se usa ampliamente y es una parte integral de la vida de las personas.

Cómo recuperar particiones y datos del disco duro perdidos [Guía]

Cómo recuperar particiones y datos del disco duro perdidos [Guía]

En nuestra guía anterior sobre cómo borrar de forma segura el disco duro y los medios extraíbles a través de Ubuntu Live y el CD de arranque DBAN, analizamos el problema del disco basado en Windows.

Cómo jugar Red Dead Online en Linux

Cómo jugar Red Dead Online en Linux

Red Dead Online es el componente multijugador en línea de Red Dead Redemption II. Aprende a jugar en Linux con esta guía completa.

Instalar paquetes Debian en Arch Linux con Debtap

Instalar paquetes Debian en Arch Linux con Debtap

¿Está tratando de hacer que una aplicación funcione en Arch Linux o Manjaro pero no puede encontrarla en los repositorios de software oficiales o incluso en AUR? Prueba Debtap. Se trata de un

Cómo acceder a una carpeta compartida de VMWare en Ubuntu

Cómo acceder a una carpeta compartida de VMWare en Ubuntu

¿Tiene una máquina virtual Ubuntu en VMware Workstation y desea compartir una carpeta con ella? Esta guía completa le mostrará cómo hacerlo eficazmente.