Isso poderia ser mais uma solução do que uma resposta, mas acho que vale a pena conhecer, então eu postei aqui.
Aviso Eu sei que o ponto de vista "oficial" é que a impressora virtual PDF não é mais necessária graças ao "print to file" opção. No entanto, eu ainda gosto da simetria de ter a impressora virtual --- você pode configurá-lo como sua impressora padrão, usá-lo com programas antigos que não usam a interface de impressão unificada, etc. YMMV.
Muitas vezes, acho que a opção "imprimir para arquivo" pode ser bastante esquisita. O melhor método para imprimir em PDF, na minha opinião, é o seguinte:
1) instale uma impressora virtual em PDF:
sudo apt-get install cups-pdf
2) Agora você tem uma impressora chamada "PDF" que você pode escolher.
3) A impressão nessa impressora resultará em um arquivo .pdf na pasta PDF em seu diretório pessoal. Você pode precisar criá-lo com mkdir $HOME/PDF (é sensível a maiúsculas e minúsculas).
Vantagens:
1) Isso é visto como uma impressora normal. TODOS os programas que podem imprimir podem imprimir para ele, assim você não precisa da opção "imprimir para arquivo". Por exemplo, você pode facilmente fazer
ls -l | lpr -pPDF
e tem um arquivo pdf com a saída do seu comando.
Advertências:
1) Mova os arquivos de lá porque, se você imprimir um arquivo várias vezes, a última versão sobrescreverá os arquivos anteriores. Isso é evitável com uma pequena edição de arquivo de configuração --- basta abrir o arquivo /etc/cups/cups-pdf.conf , ele está muito bem documentado e procurar a linha #Label 0 e alterá-la para Label 1 (ou 2 se for melhor para você) .
2) você não decide o nome do arquivo e precisa movê-lo para onde desejar. (Parece que pode ser resolvido, mas é bastante complicado ).
3) Algum tempo atualizando o sistema desabilita a impressora. Não sei porque. Reinstalar cups-pdf resolve o problema.
4) Gerenciamento de cores e controle de qualidade é complicado.