comprimere un pdf

Per ridurre di dimensioni un file pdf senza doverlo riscansionare e senza dover ricorrere agli strumenti Acrobat a pagamento ho trovato questa soluzione.

Il comando da usare è ghostscript e i passi sono i seguenti:

  • installare ghostscript: sudo apt install ghostscript
  • usare il seguente comando (tutto in una riga) per ricodificare il pdf a una risoluzione più bassa:
    gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/prepress -dNOPAUSE -dQUIET -dBATCH -sOutputFile=out_file.pdf in_file.pdf

sostituendo a out_file.pdf il nome del file ridotto e a in_file.pdf il nome del file da ricomprimere. E di seguito a -dPDFSETTINGS usare una delle seguenti opzioni:

/prepress per risoluzione 300dpi e dimensioni maggiori
/ebook
risoluzione 150dpi (nel mio caso ha ridotto le dimensioni da 12Mb a 2,5Mb)
/screen
risoluzione di 72dpi

Vedere anche questo post su come usare ghostscript per estrarre testo da un pdf:
https://www.nimbo.it/index.php/2018/01/11/estrarre-il-testo-da-un-pdf/