hipótese 1:
gs -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=setting -sOutputFile=output.pdf input.pdf
o setting pode ser: /screen, /ebook, /printer e /prepress
https://www.techwalla.com/articles/disadvantages-to-the-pdf-format
hipótese 2: a melhor!
descarregar o script shrinkpdf.sh de http://www.alfredklomp.com/programming/shrinkpdf/shrinkpdf.sh, mas também está em anexo.
de seguida:
./shrinkpdf.sh in.pdf out.pdf [dpi]
tudo duma vez!
for i in *;do sh /home/xana/Transferências/shrinkpdf.sh "$i" "red_$i" 133 ;done
o dpi pode ser o valor que quisermos sendo que por omissão é 72
para os documentos da alice o ideal é 133
http://www.alfredklomp.com/programming/shrinkpdf/
hipótese 3: provavelmente bom para ficheiros muito grandes
pdf2ps large.pdf very_large.ps
ps2pdf very_large.ps small.pdf
https://pandemoniumillusion.wordpress.com/2008/05/07/compress-a-pdf-wit…
outras opções ainda: https://askubuntu.com/questions/113544/how-can-i-reduce-the-file-size-o…