¿Cómo convertir una imagen a otros formatos?
Lo primero por hacer es instalar el paquete «imagemagick».
sudo apt-get install imagemagick
En Arch y en EndeavourOS lo instalamos de la siguiente forma.
sudo pacman -S imagemagick
Ahora, para convertir gif a png, usamos el comando «convert» de la siguiente forma.
convert nameImage.gif newNameImage.png
Este mismo comando también lo podemos usar para convertir una imagen gif a jpg.
convert myImage.gif myImage.jpg
Nota: Como la imagen es convertida a otro formato, puedo ponerle el mismo nombre.
Me dio un poco de curiosidad así que también convertí una imagen jpg a jpeg.
convert Imagen.jpg Imagen.jpeg
Ahora convertimos una imagen svg a webp.
convert Image.svg Image.webp
Cambiar el tamaño de una imagen desde la terminal
Finalmente descubrí que este comando «convert» puede ser usado para cambiar el tamaño de la imagen, siempre que tenga el subcomando «-resize».
convert -resize 32x32 MiImagen.png MiImagen.jpeg
Como extra les dejo un pequeño vídeo donde pongo en uso este comando.