smallpics


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/bash -ex
#
# helper script to generate small pictures (and to add the large ones to git)
#

for n in pics/large/*jpg; do
	s=pics/small/`basename "$n"`
	if [ ! -r "$s" ]; then
		convert -resize 280x200 "$n" "$s"
		git add "$n" "$s"
	fi
done