1. Utilice un cambio de tamaño de imágenes en línea:
- Visite una herramienta de cambio de tamaño de imágenes en línea como www.resizeimage.net o www.picresize.com.
- Sube tu imagen GIF animada.
- Introduce las dimensiones deseadas o selecciona entre los tamaños predefinidos (200x200 píxeles en tu caso).
- Haga clic en "Cambiar tamaño" o "Generar" para procesar la imagen.
- Descargue la imagen GIF animada redimensionada.
2. Utilice software de edición de imágenes:
- Abra la imagen GIF animada en un software de edición de imágenes como Adobe Photoshop o GIMP.
- Vaya al menú "Imagen" y seleccione "Tamaño de imagen" o "Cambiar tamaño".
- Ingrese el nuevo ancho y alto, o use la escala de porcentaje para reducir el tamaño.
- Asegúrese de mantener la relación de aspecto para evitar distorsiones.
- Guarde la imagen GIF animada editada.
3. Utilice herramientas de línea de comandos (avanzadas) :
- Si te sientes cómodo con las herramientas de línea de comandos, puedes usar herramientas como ImageMagick o GraphicsMagick para cambiar el tamaño del GIF.
- Abra una terminal o símbolo del sistema.
- Navegue hasta la carpeta donde se encuentra la imagen GIF animada.
- Utilice el siguiente comando para cambiar el tamaño de la imagen:
- Para ImageMagick:
`convertir entrada.gif -cambiar tamaño 200x200 salida.gif`
- Para GraphicsMagick:
`gm convertir entrada.gif -cambiar tamaño 200x200 salida.gif`
Recuerde guardar la imagen GIF animada redimensionada con un nombre diferente para evitar sobrescribir el archivo original.
Después de cambiar el tamaño, puede verificar el tamaño del archivo del GIF animado para asegurarse de que sea de 200 KB o menos. Si es necesario, es posible que deba ajustar las dimensiones o la configuración de calidad para reducir aún más el tamaño del archivo.