> From: [email protected]
> 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

                                          
_______________________________________________
dia-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/dia-list
FAQ at http://live.gnome.org/Dia/Faq
Main page at http://live.gnome.org/Dia

Reply via email to