2020-02-11 23:10:37 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
# Script to properly scale generated page_#.tif files
|
|
|
|
|
# to your desired DPI.
|
|
|
|
|
|
|
|
|
|
#Requires ImageMagick
|
|
|
|
|
|
|
|
|
|
#Printer DPI, same as in filmless_processing.pde
|
|
|
|
|
DPI=1440
|
|
|
|
|
#Location of generated pages
|
|
|
|
|
PAGE_FILES="~/Desktop/page_*.tif"
|
|
|
|
|
|
2020-03-01 17:45:31 +00:00
|
|
|
echo "Changing exported page files to ${DPI}dpi..."
|
2020-02-11 23:10:37 +00:00
|
|
|
|
|
|
|
|
for f in $PAGE_FILES
|
|
|
|
|
do
|
2020-03-03 23:06:28 +00:00
|
|
|
name=$(basename "$f" .tif)
|
|
|
|
|
echo "Converting ${f} to ~/Desktop/${name}.png @ ${DPI}dpi..."
|
|
|
|
|
convert $f -units PixelsPerInch -density $DPI "~/Desktop/${name}.png"
|
2020-02-11 23:10:37 +00:00
|
|
|
done
|
