editor update: js source map

[redakcja.git] / scripts / tiff2png

diff --git a/scripts/tiff2png b/scripts/tiff2png
index 61b00b7..054908c 100755 (executable)
--- a/scripts/tiff2png
+++ b/scripts/tiff2png
@@ -9,7 +9,7 @@
 # Pliki wyjściowe zapisywane są obok plików źródłowych, z rozszerzeniem
 # zmienionym na .png.
 
 # Pliki wyjściowe zapisywane są obok plików źródłowych, z rozszerzeniem
 # zmienionym na .png.
 

-find . -iname '*.tiff' -print0 | while read -d $'\0' file 
+find . -iregex '.*\.tiff?' -print0 | while read -d $'\0' file 

 do
        echo "$file"
        convert "$file" -depth 7 -resize 640x960 png:- | pngnq -n 128 -s 1 > "${file%.tiff}.png"
 do
        echo "$file"
        convert "$file" -depth 7 -resize 640x960 png:- | pngnq -n 128 -s 1 > "${file%.tiff}.png"