#!/bin/bash
#convierte todas las imagenes .gif del directorio actual a 800x600
for image in *.JPG; do
target=`echo $image | sed s/.JPG/_800.jpg/`
convert -size 800x600 $image -resize 800x600 $target
done
