Använder du Linux Mint? Känner du behov av att justera dina PPA:er men är osäker på hur? Vi hjälper dig! Följ den här guiden för att lära dig hur man redigerar PPA:er i Linux Mint.
Hantera PPA:er i Linux Mint – Grafiskt gränssnitt (GUI)
Om du föredrar att undvika terminalen, finns det ett enkelt sätt att redigera PPA:er genom ett grafiskt gränssnitt. Så här går du tillväga:
Tryck på Windows-tangenten för att öppna sökfunktionen i ditt Linux Mint-skrivbord (Cinnamon, Mate eller annat). Skriv ”Programkällor”.
Om du inte hittar appen i sökresultaten, tryck Alt + F2. I snabbstartsmenyn skriver du kommandot pkexec mintsources och trycker Enter.
I applikationen ”Programkällor” ser du flera alternativ. Välj ”PPA” för att hantera programvarukällor från tredje part.
För att lägga till en ny PPA, klicka på ”Lägg till”. För att radera, klicka på ”Ta bort”. För att ändra en befintlig, klicka på ”Redigera”.
När du är klar, stäng programmet.
Hantera PPA:er i Linux Mint – Terminal
Ett annat sätt att ändra programkällor är via terminalen. All information lagras i mappen /etc/apt/sources.list.d/, där varje PPA har sin egen fil.
Öppna terminalen genom att trycka Ctrl + Alt + T eller sök efter ”terminal” i appmenyn.
Med terminalen öppen, använd kommandot cd för att navigera till mappen /etc/apt/sources.list.d/. Använd ls för att visa innehållet.
ls
Om det finns många PPA-filer kan det vara svårt att hitta rätt. Använd kommandot ls tillsammans med grep för att filtrera. Exempelvis:
ls | grep "mozilla"
Ta bort en PPA
Du kan ta bort en PPA direkt från mappen via terminalen. Använd rm tillsammans med PPA-filens namn. För att ta bort Mozilla Security PPA, använd följande:
cd /etc/apt/sources.list.d/
sudo rm ubuntu-mozilla-security-ppa-focal.list
För att radera en annan PPA, ersätt ubuntu-mozilla-security-ppa-focal.list med den fil du vill radera:
cd /etc/apt/sources.list.d/ sudo rm my_ppa_file_here.list
Efter borttagning, uppdatera listan med sudo apt update för att systemet ska känna till ändringen.
sudo apt update
Ändra en befintlig PPA
Du kan ändra befintliga PPA:er genom att först navigera till /etc/apt/sources.list.d/ med kommandot cd:
cd /etc/apt/sources.list.d/
Använd ls för att se mappens innehåll:
ls
Eller använd filter:
ls | grep "namn på ppa"
När du hittat rätt fil, använd textredigeraren Nano för att ändra den. För att ändra Mozilla Security PPA, använd följande:
sudo nano ubuntu-mozilla-security-ppa-focal.list
Ändra informationen, tryck Ctrl + O för att spara och Ctrl + X för att stänga.
Använd nedanstående kommandoexempel för att ändra valfri PPA:
cd /etc/apt/sources.list.d/ sudo nano my-ppa-file.list
Lägg till en ny PPA
Att lägga till en PPA i terminalen är relativt enkelt. Använd kommandot add-apt-repository:
sudo add-apt-repository ppa:my-ppa/ppa