Otus #1 You can use lpr from command line to print PDFs. If she has multiple printers, you'd need to know which to use, though.