Come modificare i PPA in Linux Mint

Sei un utente Linux Mint ? Hai bisogno di capire come modificare i tuoi PPA sul tuo sistema ma non sai cosa fare? Possiamo aiutare! Segui questa guida mentre esaminiamo come modificare i PPA in Linux Mint!

Modifica PPA in Linux Mint – GUI

Se sei un utente di Linux Mint, è probabile che tu non sia un grande fan di avere a che fare con il terminale. Per fortuna, è possibile modificare i PPA in Linux Mint con una GUI. Ecco come farlo.

Innanzitutto, premi il  tasto Win  sulla tastiera per aprire la finestra di ricerca su Cinnamon , Mate o qualsiasi desktop Linux Mint che stai utilizzando. Da lì, digita "Sorgenti software".

Se non riesci a trovare l'app nei risultati di ricerca, premi  Alt + F2  per aprire il menu di avvio rapido. Successivamente, digita il pkexec mintsources comando e premi il  tasto Invio  per aprirlo.

Una volta che sei nell'app Software Sources in Linux Mint, vedrai diverse scelte tra cui scegliere. Esistono "Repository ufficiali", "PPA", "Repository aggiuntivi", "Chiavi di autenticazione" e "Manutenzione".

Per modificare (ovvero abilitare, disabilitare o persino aggiungere nuove fonti software), trova la sezione "PPA" e fai clic su di essa. Quest'area gestisce tutti i repository di software di terze parti che aggiungi a Mint.

Per aggiungere un nuovo PPA, fai clic sul pulsante "Aggiungi" e aggiungilo. Per rimuoverne uno, fai clic su "Rimuovi" e per modificare un repository esistente, fai clic sul pulsante "Modifica".

Quando hai finito di modificare le tue sorgenti software in Linux Mint, chiudi l'app. 

Modifica PPA in Linux Mint – Terminale 

Un altro modo per modificare l'elenco delle sorgenti software in Linux Mint è tramite il terminale, aprendo la /etc/apt/sources.list.d/cartella. In quest'area, Linux Mint contiene tutte le sorgenti software. Ogni PPA che aggiungi al tuo sistema riceve il suo file in questa cartella. 

Per avviare il processo di modifica, dovrai aprire una finestra di terminale sul desktop di Linux Mint. Premi Ctrl + Alt + T  sulla tastiera oppure cerca "terminale" nel menu dell'app e aprilo in questo modo.

Con la finestra del terminale aperta e pronta per l'uso, usa il  comando CD  e spostati nella /etc/apt/sources.list.d/cartella. Una volta che sei in questa cartella, puoi eseguire il  comando ls  per visualizzare il contenuto della directory.

ls

Se hai molti file PPA, potrebbero essercene molti da sistemare. Per semplificare, puoi combinare il  comando ls  con il  comando filtro grep  . Puoi usare  grep  per ordinare varie parole chiave.

Ad esempio, se stai cercando di trovare il ppa di sicurezza di Mozilla, cercherai il comando seguente.

ls | grep "mozilla"

Rimuovere un PPA

Se vuoi rimuovere completamente un PPA da Linux Mint, puoi farlo direttamente nella cartella usando i comandi di base del terminale Bash. Per eliminare un PPA dal sistema, iniziare a utilizzare il comando rm  e specificare il nome del file PPA.

Ad esempio, per eliminare il PPA di Mozilla Security da Linux Mint (il PPA che fornisce aggiornamenti rapidi di Firefox e Thunderbird), è possibile eseguire il  comando rm  insieme al file "ubuntu-mozilla-security-ppa-focal.list". 

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

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

Per rimuovere qualsiasi file di elenco PPA dal tuo PC Linux Mint, sostituisci semplicemente "my_ppa_file_here.list con il file PPA che desideri rimuovere da Linux Mint (che risiede in /etc/apt/sources.list.d/.

cd /etc/apt/sources.list.d/ sudo rm my_ppa_file_here.list

Dopo che il tuo PPA è stato rimosso da Linux Mint, dovrai eseguire il  comando update  . Questo comando assicurerà che Linux Mint sappia che il vecchio PPA non è più sul sistema. 

sudo apt update

Una volta aggiornato, il tuo PPA verrà rimosso. 

Modifica un PPA esistente

È possibile modificare qualsiasi PPA esistente su Linux Mint utilizzando il terminale. Per farlo, dovrai prima entrare nella /etc/apt/sources.list.d/directory usando il comando CD  qui sotto.

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

Da qui, dovrai eseguire il  comando ls  per visualizzare il contenuto della cartella in modo da poterne individuare uno a scopo di modifica. 

ls 

O per un migliore filtraggio.

ls | grep "nome di ppa"

Quando hai capito il nome del tuo PPA, usa l'  editor di testo nano  per modificare il PPA. Ad esempio, per modificare il PPA di Mozilla Security, devi inserire:

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

Una volta in modalità di modifica, usa l'editor di testo Nano per modificare e cambiare ciò che ti piace. Al termine, premi  Ctrl + O  per salvarlo e premi  Ctrl + X  per uscire dalla modifica.

Utilizzare il seguente esempio di comando di seguito per modificare qualsiasi PPA.

cd /etc/apt/sources.list.d/ sudo nano my-ppa-file.list

Aggiungi un nuovo PPA

L'aggiunta di un nuovo PPA a Linux Mint tramite il terminale è molto, molto più semplice che rimuoverli o modificarli. Se desideri aggiungere un nuovo PPA a Linux Mint, usa semplicemente il comando add-apt-repository di  seguito.

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