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
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