Gli utenti KDE hanno la possibilità di stampare qualsiasi cosa direttamente come file PDF.

Questa ottima caratteristica non è presente di default in Gnome. Ma si può aggiungere facilmente.

Da terminale bisogna installare cups-pdf:

sudo apt-get install cups-pdf

Dopodiché bisogna dare i permessi di esecuzione al pacchetto installato:

sudo chmod +s /usr/lib/cups/backend/cups-pdf

A questo punto non resta che “installare” la stampante PDF. Per fare ciò bisogna andare in Sistema -> Amministrazione -> Stampanti, e selezionare Nuova Stampante.

Selezionare “Stampante Locale” e nella finestra “Usa una stampante riconosciuta” selezionare “Stampante PDF – Stampante Virtuale“.

Scegliere “Generico” come produttore e “Postcript Color” come driver, lasciando il set di driver di default.

A questo punto, ogni volte che stamperete, potrete selezionare la stampante virtuale per ritrovarvi un file di formato PDF bello e pronto. La directory i default dove questi files vengono salvati (purtroppo non si può scegliere volta per volta) è ~/PDF

Se volete modificare questo percorso, aprite il file /etc/cups/cups-pdf.conf:

sudo gedit /etc/cups/cups-pdf.conf

Dove troverete questa sezione:

### Key: Out
##  CUPS-PDF output directory
##  special qualifiers:
##     ${HOME} will be expanded to the user’s home directory
##     ${USER} will be expanded to the user name
##  in case it is an NFS export make sure it is exported without
##  root_squash!
### Default: /var/spool/cups-pdf/${USER}

Out ${HOME}/PDF

Cambiate il valore  ${HOME}/PDF con il percorso che più vi aggrada, e il gioco è fatto.