Revisão | 2e8e834ef45b791a236abee0eb78a1e8574279ea (tree) |
---|---|
Hora | 2019-08-29 22:32:12 |
Autor | Lorenzo Isella <lorenzo.isella@gmai...> |
Commiter | Lorenzo Isella |
A file to convert all the pdf in a folder to png files.
@@ -0,0 +1,14 @@ | ||
1 | +#!/bin/bash | |
2 | + | |
3 | +#convert pdf to png | |
4 | + | |
5 | +FILES="*.pdf" | |
6 | + | |
7 | +for F in $FILES | |
8 | + | |
9 | +do | |
10 | +newname=`basename "$F".pdf` | |
11 | +echo $newname | |
12 | +pdftoppm "$F" -rx 300 -ry 300 "$newname.png" | |
13 | + | |
14 | +done |