Succede con una certa frequenza (quantomeno a me) di dover manipolare dei file PDF, ecco alcune operazioni comuni che si possono fare in modo semplice e veloce in ambiente Linux.
Convertire un PDF in JPEG
ImageMagic e le sue estensioni può essere usato efficacemente anche per convertire un PDF in un file JPG.
E' necesasrio installare il pacchetto , per fare ciò si può digitare da terminale:
sudo apt-get install graphicsmagick-imagemagick-compat
Per convertire il file si usi dunque il comando (sempre da terminale)
convert -density 600 SourceFile.pdf DestinationFile.jpg
Si consiglia di usare l'opzione -density seguita dal numero di DPI (punti per pollice) della risoluzione dell'immagine (il valore di default è 72).
Fondere due PDF in uno (merge, concat)
Installare il pacchetto pdftk:
sudo snap install pdftk
La linea di comando per concatenare due pdf risutla essere:
pdftk file1.pdf file2.pdf cat output mergedfile.pdf