Die meisten PDFs können direkt per SSH im Keller ausgedruckt werden:
cat job.pdf | ssh username@xian.imp.fu-berlin.de lpr -o Duplex=DuplexNoTumble -P t9-k42-zedat01
Bei Druckproblemen kann die Datei auch vorher in PS umgewandelt werden: pdf2ps job.pdf cat job.ps | ssh username@xian.imp.fu-berlin.de lpr -o Duplex=DuplexNoTumble -P t9-k42-zedat01
Ob die Druckereinstellungen so richtig sind, liegt auch an den Standardeinstellungen. Notfalls also noch eine Option mehr zum zweiseitigen Druck setzen: -o sides=two-sided-long-edge