blob: 5628bdb774433d58dce574ad3f48e274609cd45e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
#!/bin/sh
#strip the file name off the input PDF
input_pdf="$1"
file_name="$(find """$1""" | sed 's|\.pdf||g')"
first_page="$2"
last_page="$3"
if [ "$2" = "" ]
then
first_page="1"
else
:
fi
if [ "$3" = "" ]
then
last_page="$first_page"
else
:
fi
#convert the PDF to a 600px wide PNG image
pdftoppm -f "$first_page" -l "$last_page" -png -scale-to-x 696 -scale-to-y -1 "$input_pdf" "$file_name"
#add a 2x2px border to the image.png file
for file in *.png; do
convert "$file" -bordercolor black -border 2x2 "$file"
#compress the image
optipng "$file";
done
|