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!

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.

Come modificare i PPA in Linux 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".

Come modificare i PPA in Linux Mint

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

Leave a Comment

Mp3 Diags: Risolvi fino a 50 problemi con i file audio Mp3

Mp3 Diags: Risolvi fino a 50 problemi con i file audio Mp3

MP3 Diags è lo strumento definitivo per risolvere i problemi nella tua collezione audio musicale. Può taggare correttamente i tuoi file mp3, aggiungere copertine di album mancanti e correggere VBR.

App di notifica desktop di Google Voice

App di notifica desktop di Google Voice

Proprio come Google Wave, Google Voice ha generato un certo fermento in tutto il mondo. Google mira a cambiare il nostro modo di comunicare e poiché sta diventando

Scarica i preferiti di Flickr con FlickrFaves

Scarica i preferiti di Flickr con FlickrFaves

Esistono molti strumenti che consentono agli utenti di Flickr di scaricare le proprie foto in alta qualità, ma esiste un modo per scaricare i Preferiti di Flickr? Di recente siamo arrivati

OK Sampler è un software gratuito per il campionamento musicale

OK Sampler è un software gratuito per il campionamento musicale

Cos'è il campionamento? Secondo Wikipedia, "È l'atto di prendere una porzione, o campione, di una registrazione sonora e riutilizzarla come strumento o

Backup di Google Sites: Importa/Esporta

Backup di Google Sites: Importa/Esporta

Google Sites è un servizio di Google che consente agli utenti di ospitare un sito web sul server di Google. Ma c'è un problema: non è integrata alcuna opzione per il backup.

Applicazione desktop di Google Tasks

Applicazione desktop di Google Tasks

Google Tasks non è così popolare come altri servizi Google come Calendar, Wave, Voice, ecc., ma è comunque ampiamente utilizzato e costituisce parte integrante della vita delle persone.

Come recuperare partizioni perse e dati del disco rigido [Guida]

Come recuperare partizioni perse e dati del disco rigido [Guida]

Nella nostra precedente guida sulla cancellazione sicura del disco rigido e dei supporti rimovibili tramite Ubuntu Live e CD di avvio DBAN, abbiamo discusso del fatto che il disco basato su Windows

3 modi per registrare la tua voce su Linux

3 modi per registrare la tua voce su Linux

Stai cercando di registrare la tua voce sul tuo PC Linux? Scopri i migliori software e come utilizzarli con la nostra guida dettagliata.

Come ridurre a icona Thunderbird nella barra delle applicazioni di Linux

Come ridurre a icona Thunderbird nella barra delle applicazioni di Linux

Birdtray è un

Come configurare Jellyfin su Linux in Docker

Come configurare Jellyfin su Linux in Docker

Jellyfin è un server multimediale open source alternativo a Plex. Scopri come distribuire Jellyfin su Docker in Linux oggi stesso.