On Mon, Jul 01, 2002 at 04:43:43PM -0700, Jan Wynholds wrote: > As Henry mentioned, ImageMagick will work, but is _beastly_ slow. > > If you had, say image.pnm, I think that mogrify might work in a similar way > convert does: > > # mogrify -format gif87 image.pnm > > Will make image.gif87 (kinda weird extension).
Which may be readily renamed using a shell loop and basename(1):
for file in *.gif87; do mv -i $file `basename .gif87`.gif; done
for any number of files. Try doing that in a graphical file file manager ;-).
--
Henry House
The attached file is a digital signature. See <http://romana.hajhouse.org/pgp>
for information. My OpenPGP key: <http://romana.hajhouse.org/hajhouse.asc>.
msg03045/pgp00000.pgp
Description: PGP signature
