====== NO_PUBKEY Problem lösen unter Debian ====== gpg --keyserver wwwkeys.eu.pgp.net --recv $KEY gpg --export --armour $KEY | apt-key add - Alternativ: apt-key adv --recv-keys --keyserver keyserver.ubuntu.com KEY ====== PDF Ränder abschneiden ====== pdfcrop.pl --bbox "60 27 781 510" INFILE OUTFILE ====== PDF n-Auf-m mehrere Seiten auf ein Blatt ====== pdfnup --nup 2x4 --delta "0.2cm 0.2cm" INFILE Outfile wird automatisch zu INFILE-2x4 ====== PDF Dateien zusammenfügen ====== pdftk INFILE1 INFILE2 INFILE3 cat output OUTFILE ====== Kleinbuchstaben Erweiterung ====== rename 's/\.JPG/\.jpg/g' *.JPG ====== Bilder resize ====== mkdir fc; for i in *.JPG; do convert -resize 1920x1080 $i fc/$i; echo $i; done