From 35ca7042451bb1b5c2ab1665b8b9fea0bc801ac0 Mon Sep 17 00:00:00 2001 From: litter Date: Tue, 3 Mar 2020 18:06:28 -0500 Subject: [PATCH] Convert tif to png. Saves a ton of disc space and is lossless. --- scripts/calibration.sh | 2 +- scripts/pages.sh | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/scripts/calibration.sh b/scripts/calibration.sh index f1c3a6b..87c73df 100644 --- a/scripts/calibration.sh +++ b/scripts/calibration.sh @@ -17,7 +17,7 @@ for f in $CALIBRATION_FILES do name=$(basename "$f" .tif) #echo $name - echo "Converting $f -> ../filmless_calibration/${name}.png..." + echo "Converting $f -> ../filmless_calibration/${name}.png @ ${DPI}dpi..." convert $f -units PixelsPerInch -density $DPI "../filmless_calibration/${name}.png" rm $f done diff --git a/scripts/pages.sh b/scripts/pages.sh index 08cf50c..9b42635 100644 --- a/scripts/pages.sh +++ b/scripts/pages.sh @@ -14,6 +14,7 @@ echo "Changing exported page files to ${DPI}dpi..." for f in $PAGE_FILES do - echo "Converting ${f} to ${DPI}dpi..." - mogrify $f -units PixelsPerInch -density $DPI + name=$(basename "$f" .tif) + echo "Converting ${f} to ~/Desktop/${name}.png @ ${DPI}dpi..." + convert $f -units PixelsPerInch -density $DPI "~/Desktop/${name}.png" done \ No newline at end of file