Respuestas:
Puede instalar el cups-pdf
paquete, agregar una nueva impresora del tipo "Impresora genérica CUPS-PDF" y luego hacer que sea la impresora predeterminada.
No lo uso yo mismo, por lo que no estoy seguro de si la calidad de los archivos PDF que crea es diferente (para bien o para mal) de lo que proporciona la función "guardar en archivo". (¿Quizás puedas comentar aquí sobre tus experiencias con él?)
Así es como hice que PDF sea el predeterminado:
Haga que Print-to-File sea predeterminado a PDF en Firefox.
/ home / user /Desktop/mozilla.pdf
Hice algunas preguntas interesantes. Existe cierta discusión en los foros de Ubuntu.
Aquí hay un par de enlaces que me parecieron útiles, ¡parecen estar hablando sobre el método de Firefox para cambiarlo! espero que esto te ayude. :)
Aquí está la publicación del blog sobre el tema, así como un par de enlaces del foro de Ubuntu que discuten el tema .