Pour convertir vos fichiers du format .avif au format .png, en une ligne de commande :
for image in *.avif ; do convert "$image" "${image%.*}.png" ; done
Cette commande convertit tous les images .avif en fichiers du même nom au format .png
Si vous souhaitez convertir un seul fichier ou seulement ceux qui commencent pas ‘IMG’ :
for image in IMG*.avif ; do convert "$image" "${image%.*}.png" ; done