On Tue, Nov 9, 2010 at 7:33 AM, Andreas F <[email protected]>wrote:
> > > > 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 > > But that is not quite right. Suppose dia exports a png of size 400x300, but the resulting pixelation is too coarse and we want really 1200x900 In that case, we need to go check the conversion, and specify the size. I don't think `convert' can deal with that case Mirko
_______________________________________________ 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
