Hola a todos: Tengo un montón de imágenes (aproximadamente 1500) que están en formato GIF a 2 colores y son demasiado grandes (4500x4000 puntos, etc). Necesito que ocupen menos espacio, así que había pensado en reducirlas de tamaño. ¿Sabeis si hay algún programa batch que lo haga? Porque el asunto me corre bastante prisa, y abrirlas con cualquier programa, reducir tamaño, y grabarlas una por una me dan aquí hasta que tengamos el problema del efecto 3000 .... Si sabeis de algun programa para Linux/Unix/Windows que lo haga, o por lo menos uno que admita parametros por linea de comando para hacer un script, os lo agradecería mucho (realmente estoy ahora trabajando en unix, pero cualquier solucion sería factible) Miguel
========================================================================= Miguel Rodriguez Penabad penabad @ mail2.udc.es Laboratorio de Bases de Datos http://emilia.dc.fi.udc.es/labBD Facultade de Informática Universidade da Coruña (Spain) Debian 2.1 [2.2.12] Usuario Linux 124962 =========================================================================