/ Published in: Bash
Molto utile per separare i vari elementi grafici di un pdf; se al posto di *.pdf mettiamo nome.pdf estraiamo dal pdf specifico
Expand |
Embed | Plain Text
Copy this code and paste it in your HTML
for i in *.pdf;do pdfimages $i ${i%.*};done && for i in *.ppm;do ppmtojpeg $i >> ${i%.*}.jpg;done; rm -f *.ppm