Você pode usar o pacote cups-pdf
como uma solução independente do gnome. Depois de instalar o pacote, adicione a impressora PDF usando a webinterface cups em http://localhost:631
, conforme descrito aqui (' Geral 'como fabricante de impressoras, CUPS-PDF como driver ).
Para sua conveniência, altere o diretório de saída com a opção Out
em /etc/cups/cups-pdf.conf
para, como, ${HOME}
ou o que você quiser. Então faça como sugerido por @ Noam para imprimir no arquivo.