boards/update-thumb.sh: Create thumbnails for JPG and PNG images.

[dpgeorge]

No description provided.

[mattytrentini]

I was originally thinking:

rm */*.thumb.jpg */*.thumb.png
for file in */*; do
    if [[ $file == *.jpg || $file == *.png ]]; then
        ext=${file##*.}
        convert "$file" -thumbnail 300 "${file%.$ext}.thumb.$ext"
    fi
done

But the function approach works just as well!

The only minor concern is that rm will produce an error if the directory doesn't contain either *.thumb.png or *.thumb.jpg. Might be a problem the first time it's run?

[dpgeorge]

The only minor concern is that rm will produce an error if the directory doesn't contain either *.thumb.png or *.thumb.jpg. Might be a problem the first time it's run?

Right, it does produce an error but the function continues to run and generate the thumbs. I think that's fine, this doesn't need to be a user friendly script so much.