[OT] RE: Today I used dia -t -s

[Andreas F <andreas1234567 hotmail com>]

> From: alvarezp alvarezp ods org
> for D in *.dia; do dia -t png -s 1024x $D; done
> I just checked them afterwards to do a second pass to save bigger diagrams
> in a different size.

You can easily resize images on the command line too, e.g (bash shell assumed):
 
for FILE in `ls *.png`; do
  OUTFILE=`echo $FILE | sed 's/.png/.small.png/'`
  convert -resize 20% "$FILE" "$OUTFILE"
done

--
Andreas