PPAs in Linux Mint verwalten: Eine umfassende Anleitung
Sind Sie ein Nutzer von Linux Mint und möchten Ihre Personal Package Archives (PPAs) bearbeiten, sind aber unsicher, wie Sie vorgehen sollen? Keine Sorge, wir helfen Ihnen gerne weiter! In dieser Anleitung erfahren Sie, wie Sie PPAs in Linux Mint anpassen können.
PPAs in Linux Mint bearbeiten – Die grafische Oberfläche (GUI)
Wenn Sie Linux Mint bevorzugen, sind Sie vielleicht kein Freund des Terminals. Glücklicherweise lassen sich PPAs auch über eine grafische Oberfläche verwalten. Hier ist eine Schritt-für-Schritt-Anleitung:
- Drücken Sie die Windows-Taste, um das Suchfenster Ihrer Linux Mint-Desktopumgebung (Cinnamon, Mate usw.) zu öffnen.
- Geben Sie dort „Softwarequellen“ ein.
- Sollte die Anwendung nicht in den Suchergebnissen erscheinen, öffnen Sie das Schnellstartmenü mit Alt + F2.
- Geben Sie
pkexec mintsources
ein und bestätigen Sie mit der Eingabetaste.
Die Anwendung „Softwarequellen“ wird sich öffnen und Ihnen verschiedene Optionen anbieten. Sie sehen Reiter wie „Offizielle Repositories“, „PPAs“, „Zusätzliche Repositories“, „Authentifizierungsschlüssel“ und „Wartung“.
Wählen Sie den Reiter „PPAs“. Hier verwalten Sie alle Softwarequellen von Drittanbietern, die Sie Ihrem System hinzugefügt haben.
Zum Hinzufügen eines neuen PPAs klicken Sie auf „Hinzufügen“. Um ein PPA zu entfernen, klicken Sie auf „Entfernen“. Zum Bearbeiten eines vorhandenen Eintrags nutzen Sie die Schaltfläche „Bearbeiten“.
Wenn Sie alle gewünschten Änderungen vorgenommen haben, können Sie die Anwendung „Softwarequellen“ schließen.
PPAs in Linux Mint bearbeiten – Das Terminal
Alternativ können Sie Ihre Softwarequellen auch über das Terminal bearbeiten, indem Sie den Ordner /etc/apt/sources.list.d/
aufrufen. Dort speichert Linux Mint alle Informationen über Ihre Softwarequellen. Jedes PPA, das Sie hinzufügen, hat hier seine eigene Datei.
Um den Bearbeitungsprozess zu starten, öffnen Sie ein Terminalfenster. Dies geht entweder mit der Tastenkombination Strg + Alt + T oder über die Suche im Anwendungsmenü.
Sobald das Terminal bereit ist, navigieren Sie mit dem Befehl cd
in den Ordner /etc/apt/sources.list.d/
. Im Anschluss können Sie den Befehl ls
ausführen, um den Inhalt des Ordners anzuzeigen.
ls
Wenn Sie viele PPA-Dateien haben, kann es unübersichtlich werden. Daher empfiehlt es sich, den Befehl ls
mit grep
zu kombinieren. grep
ermöglicht es Ihnen, die Ausgabe nach bestimmten Schlüsselwörtern zu filtern.
Wenn Sie beispielsweise nach dem Mozilla-Sicherheits-PPA suchen, nutzen Sie diesen Befehl:
ls | grep "mozilla"
Entfernen eines PPAs
Um ein PPA vollständig von Ihrem System zu entfernen, nutzen Sie Bash-Befehle. Der Befehl rm
löscht die PPA-Datei. Im folgenden Beispiel wird das Mozilla Security PPA entfernt, das für schnelle Firefox- und Thunderbird-Updates zuständig ist:
cd /etc/apt/sources.list.d/
sudo rm ubuntu-mozilla-security-ppa-focal.list
Ersetzen Sie ubuntu-mozilla-security-ppa-focal.list
durch den Namen der PPA-Datei, die Sie entfernen möchten.
cd /etc/apt/sources.list.d/
sudo rm my_ppa_file_here.list
Nach dem Entfernen eines PPAs müssen Sie das System über diese Änderung informieren. Führen Sie daher den update
-Befehl aus:
sudo apt update
Nach der Aktualisierung ist das PPA vollständig entfernt.
Bearbeiten eines bestehenden PPAs
Sie können jedes PPA direkt über das Terminal bearbeiten. Navigieren Sie dazu zunächst mit cd
in den Ordner /etc/apt/sources.list.d/
:
cd /etc/apt/sources.list.d/
Nun können Sie den Inhalt des Ordners mit dem Befehl ls
anzeigen, oder gefiltert mit grep
.
ls
ls | grep "name of ppa"
Verwenden Sie anschließend den Texteditor Nano, um die Datei zu bearbeiten. Zum Beispiel, um das Mozilla Security PPA zu bearbeiten, geben Sie Folgendes ein:
sudo nano ubuntu-mozilla-security-ppa-focal.list
Im Editor können Sie nun Änderungen vornehmen. Speichern Sie mit Strg + O und beenden Sie die Bearbeitung mit Strg + X.
Hier ist das allgemeine Befehlsmuster zum Bearbeiten eines PPAs:
cd /etc/apt/sources.list.d/
sudo nano my-ppa-file.list
Hinzufügen eines neuen PPAs
Das Hinzufügen eines neuen PPAs ist über das Terminal viel einfacher als das Bearbeiten oder Entfernen. Nutzen Sie dazu den Befehl add-apt-repository
:
sudo add-apt-repository ppa:my-ppa/ppa