[vox-tech] GIMP and 8-bit GIFs

Henry House vox-tech@lists.lugod.org
Tue, 2 Jul 2002 21:58:38 -0700


--wRRV7LY7NUeQGEoC
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Mon, Jul 01, 2002 at 04:43:43PM -0700, Jan Wynholds wrote:
> As Henry mentioned, ImageMagick will work, but is _beastly_ slow.
>=20
> If you had, say image.pnm, I think that mogrify might work in a similar w=
ay
> convert does:
>=20
> # mogrify -format gif87 image.pnm
>=20
> 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 ;-=
).

--=20
Henry House
The attached file is a digital signature. See <http://romana.hajhouse.org/p=
gp>
for information.  My OpenPGP key: <http://romana.hajhouse.org/hajhouse.asc>.

--wRRV7LY7NUeQGEoC
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE9IoR+KK1cAVjXujwRAgSQAKDIWO7fyOEP/dQmg5rA8mYCfmEfOQCgv/lF
/Lps9q/1/hQ0cFrmH40rV90=
=sS+6
-----END PGP SIGNATURE-----

--wRRV7LY7NUeQGEoC--