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-01 17:45:31 +00:00
|
|
|
echo "Converting ${f} to ${DPI}dpi..."
|
2020-02-11 23:10:37 +00:00
|
|
|
mogrify $f -units PixelsPerInch -density $DPI
|
|
|
|
|
done
|
