Você pode instalar o pacote cups-pdf
, adicionar uma nova impressora do tipo "Impressora Genérica CUPS-PDF" e torná-la a impressora padrão.
Eu não uso isso sozinho, por isso não tenho certeza se a qualidade dos PDFs criados é diferente (para melhor ou para pior) do que o recurso "salvar para arquivo". (Talvez você possa comentar aqui sobre suas experiências com isso?)