Pour convertir vos fichiers du format .avif au format .png, en une ligne de commande :
for image in *.avif ; do convert "$image" "${image{74208569161eb54ef0546bd4982d6f26c8970ef2303bc573a93629d537a32cec}.*}.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{74208569161eb54ef0546bd4982d6f26c8970ef2303bc573a93629d537a32cec}.*}.png" ; done