Это может быть скорее обходной путь, чем ответ, но я думаю, что это стоит знать, поэтому я публикую его здесь.

Обратите внимание Я знаю, что «официальная» точка зрения заключается в том, что виртуальный принтер PDF больше не нужен благодаря опции «печать в файл». Тем не менее мне все еще нравится симметрия наличия виртуального принтера - вы можете установить его в качестве принтера по умолчанию, использовать его со старыми программами, которые не используют унифицированный интерфейс печати, и т. Д. YMMV.

Я часто нахожу, что опция «печать в файл» может быть довольно ненадежной. На мой взгляд, лучший способ напечатать в PDF:

1) установить виртуальный принтер PDF:

sudo apt-get install cups-pdf

2) Теперь у вас есть принтер под названием «PDF», который вы Можно выбрать.

3) При печати на этом принтере файл .pdf будет находиться в папке PDF в вашем домашнем каталоге. Вам может понадобиться создать его с помощью mkdir $HOME/PDF (он чувствителен к регистру).

Преимущества:

1) Это выглядит как обычный принтер. Все программы, которые могут печатать, могут печатать на нем, поэтому вам не нужна опция «печать в файл». Например, вы можете легко сделать

ls -l | lpr -pPDF 

и получить PDF-файл с выводом вашей команды.

Предостережения:

1) Переместите файлы оттуда, потому что если вы печатаете файл несколько раз, последняя версия перезапишет предыдущие. Этого можно избежать с помощью небольшого редактирования файла конфигурации - просто откройте файл /etc/cups/cups-pdf.conf, он очень хорошо документирован, и найдите строку #Label 0 и измените ее на Label 1 (или 2, если вам больше подходит) ,

2) вы не определяете имя файла, и вам нужно переместить его туда, куда вы хотите. (Кажется, это можно решить, но это довольно запутанно ).

3) При обновлении системы принтер отключается. Не знаю почему. Переустановка cups-pdf решает проблему.

4) Управление цветом и контроль качества сложны.