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.
