viewvc.cgi/flash/pdf2pic.sh


pdf=Vidi-141.pdf
limit="-f 1 -l 5"

#test -d ppm && rm -Rf ppm
mkdir ppm

function render_pdf() {
        dpi=$1
        echo "render pdf $pdf to $dpi dpi ppms"
        test -d ppm/$dpi || mkdir ppm/$dpi
#       pdftoppm $limit -r $dpi -aa yes -aaVector yes $pdf ppm/$dpi/p
        du -kcs ppm/$dpi
        
        echo "convert to jpg"
        test -d jpg/$dpi || mkdir jpg/$dpi
        ls ppm/$dpi/ | sed 's/.ppm//' | xargs -i convert ppm/$dpi/{}.ppm jpg/$dpi/{}.jpg
        du -kcs jpg/$dpi
}

render_pdf 10
render_pdf 75
render_pdf 150
render_pdf 300

1	dpavlin	16
2			pdf=Vidi-141.pdf
3			limit="-f 1 -l 5"
4
5			#test -d ppm && rm -Rf ppm
6			mkdir ppm
7
8			function render_pdf() {
9			dpi=$1
10			echo "render pdf $pdf to $dpi dpi ppms"
11			test -d ppm/$dpi \|\| mkdir ppm/$dpi
12			# pdftoppm $limit -r $dpi -aa yes -aaVector yes $pdf ppm/$dpi/p
13			du -kcs ppm/$dpi
14
15			echo "convert to jpg"
16			test -d jpg/$dpi \|\| mkdir jpg/$dpi
17			ls ppm/$dpi/ \| sed 's/.ppm//' \| xargs -i convert ppm/$dpi/{}.ppm jpg/$dpi/{}.jpg
18			du -kcs jpg/$dpi
19			}
20
21			render_pdf 10
22			render_pdf 75
23			render_pdf 150
24			render_pdf 300
25