Ganz verwundert habe ich heute erfolglos versucht, aus einer Internet-Seite ein PDF zu erstellen. Ich dachte, der PDF-Drucker sei bei Ubuntu standardmässig aktiviert. Aber anscheinend habe ich es letztes Mal auch manuell gemacht, jedenfalls war der Drucker nicht vorhanden. Auch der Einrichten-Dialog für neue Drucker hat die Option „PDF-Drucker“ nicht angeboten.
Nach 5 Sekunden Suche bin ich auf den korrekten Befehl bzw. Paket gekommen, was mir die Option zurückbringt:
sudo apt-get install cups-pdf
So, that’s it.