Modifier une série d’extensions de fichiers en bash
C’est court, pas difficile à trouver, mais c’est toujours intéressant de le garder sous la main pour le jour où on en a besoin…
Dans cet exemple, les fichiers .JPEG sont renommés en .jpg.
for i in *.JPEG do mv "${i}" "${i%JPEG}jpg" done
Le résultat :
[nicolas@mobile temp]$ touch a.JPEG b.JPEG c.JPEG [nicolas@mobile temp]$ ls a.JPEG b.JPEG c.JPEG [nicolas@mobile temp]$ for i in *.JPEG > do > mv "${i}" "${i%JPEG}jpg" > done [nicolas@mobile temp]$ ls a.jpg b.jpg c.jpg [nicolas@mobile temp]$
