Хорошая фича linux mint: cups поставляется с настроенным принтером в "Print_to_PDF". Пакет cups при этом зависит от пакета cups-pdf. Важно: нужен cups-pdf от версии 2.5.0, нынешний четырехлетней давности не годится. Приятно, что при этом из любого приложения всегда есть куда печатать без поиска "Печать в файл".
Нет, так не надо.