PP3 – Sternenkarten für Ubuntu
PP3 ist DAS Programm, um druckfähige Sternenkarten im TeX-, EPS- oder PDF-Format für LaTeX oder Textverarbeitungen herzustellen. Auch wenn es als Komandozeilenprogramm nicht ganz intuitiv zu bedienen ist.
Leider ist es neben dem Quellcode für GNU/Linux nur als RPM-Paket vorhanden. Ich habe die PP3-Quelle der Version 1.3.3 für 64-Bit-Intel GNU/Linux kompiliert und in einem einfach zu installierenden DEB-Installer für Ubuntu und Derivate hier zur Verfügung gestellt.
PP3 habe ich in Linux Mint 19.3 (amd64) gebaut und auch auf Ubuntu 20.04 getestet. Es ist soweit wie möglich statisch (-static) übersetzt und sollte auch auf älteren aber auf jeden Fall auf neueren Versionen laufen. Es hängt von den Paketen texlive und texlive-pstricks ab. Diese werden ggf. automatisch nachinstalliert.
Beispieldateien, Handbücher und Tutorials findet man unter /usr/local/share/doc/pp3/.
DownloadSelbst kompilieren
Wer PP3 für selbst kompilieren will, benötigt lediglich einen C++-Compiler, wie g++ und das Programm make. Am einfachsten erreicht man das mit dem Befehl
sudo apt install build-essential
im Terminal.
PP3 kompilieren und manuell installieren
- Herunterladen und entpacken.
- Fehler in der Quellcodedatei pp3.cc beheben:
- Öffne die Datei pp3.cc in einem Texteditor (z.B. Gedit)
- Gehe in Zeile 8 und ändere #include <string> in #include <cstring>.
- Speichere pp3.cc
- Öffne ein Terminalfenster, gehe mit in das Wurzelverzeichnis von PP3 (wo sich die Datei pp3.cc befindet), z.B. mit:
cd ~/Downloads/pp3-1.3.3. - Den Befehl make eingeben. Der sollte ohne Fehler durchlaufen. Eine neue ausführbare Datei mit dem Namen pp3 sollte erstellt worden sein. PP3 ist jetzt kompiliert.
- Die ausführbare Datei pp3 in das Verzeichnis /usr/local/bin/ verschieben:
sudo mv pp3 /usr/local/bin/ - Das Verzeichnis /usr/local/share/pp3 erstellen:
sudo mkdir /usr/local/share/pp3 - Die Datendateien mit der Endung *.dat in das neue Verzeichnis verschieben: sudo mv *.dat /usr/local/share/pp3/
- PP3 ist nun installiert.
Ein TeX-Paket muss installiert sein, damit PP3 funktioniert. Beispieldateien befinden sich im Ordner examples. Handbuch und Tutorials kann man auf der Homepage einsehen bzw. herunterladen.
Deinstallieren
Egal ob man den PP3 manuell oder mit dem Installer installiert hat, kann man es mit folgenden Befehlen deinstallieren:
sudo rm /usr/local/bin/pp3 sudo rm -Rf /usr/local/share/pp3 /usr/local/share/doc/pp3
Erstklassige Beschreibung! Aber wirklich! Von Anleitung wie diese kann es gar nicht genug geben.
VIELEN HERZLICHEN DANK!