Es gibt haufenweise kommerzielle Produkte, die PDF Dateien verkleinern. Es geht aber auch kostenlos sehr einfach. Nur auf eine schicke GUI muss man verzichten. Unter Linux (in meinem Fall Ubuntu 18.04 LTS unter Windows 10) geht das sehr, sehr einfach.
- Installation von Ghostscript und wget:
sudo apt-get install ghostscript wget
- Download von Shrinkpdf:
wget http://www.alfredklomp.com/programming/shrinkpdf/shrinkpdf.sh
- Und jetzt lassen sich bequem PDF Dateien verkleinern:
./shrinkpdf.sh my_large_file.pdf my_small_file.pdf 200
Hinweis: An der Qualität (hier 200) lässt sich drehen, um die gewünschte Größe oder Qualität zu erreichen.
- Wenn jetzt noch mehrere PDFs zusammengefügt werden sollen, hilft wieder Ghostscript:
gs -dNOPAUSE -sDEVICE=pdfwrite -sOUTPUTFILE=single.pdf -dBATCH first.pdf second.pdf
Schreibe den ersten Kommentar