ingo <ing### [at] homenl> wrote:
: Also I couldn't figure out how to give the outputfile the 'right' name.
: PietjePuk03.ppm >> PietjePuk03.gif

  You don't specify which platform you are using, but in a regular unix shell
you could make the conversion to all the files like this:

for F in *.ppm; do ppmquant -fs 256 $F | ppmtogif > `basename $F .ppm`.gif; done

  If you are using zsh, the above command works just fine, but you can also
use a shortcut version:

for F (*.ppm) ppmquant -fs 256 $F | ppmtogif > `basename $F .ppm`.gif

-- 
#macro N(D,I)#if(I<6)cylinder{M()#local D[I]=div(D[I],104);M().5,2pigment{
rgb M()}}N(D,(D[I]>99?I:I+1))#end#end#macro M()<mod(D[I],13)-6,mod(div(D[I
],13),8)-3,10>#end blob{N(array[6]{11117333955,
7382340,3358,3900569407,970,4254934330},0)}//                     - Warp -

Post a reply to this message