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/