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

[Mirko Vukovic <mirko vukovic gmail com>]

On Tue, Nov 9, 2010 at 7:33 AM, Andreas F <andreas1234567 hotmail com> wrote:

> 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

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