I looked at it last night and when you choose "print to file"
in Ubuntu the file type is ps, which if I remember right is
"postscript" in Unix world. I have an HP laser printer so I think
it understands ps format, but I haven't tried it out yet.