Wer mal schnell diverse Drucke unter Ubuntu als pdf braucht, der benötigt nicht so viel Zusatztools wie unter Windows, wo es übrigens Free PDF gibt, welches wirklich ein must-have sein sollte.
Unter Linux reicht ein einfaches
sudo apt-get install cups-pdf
aus, um den gewünschten Dienst zu installieren. Viel Spass damit.