Comment renommer plusieurs fichiers d'une extension à une autre sous Linux/Unix ?

Oui, essayez ceci avec rename :

rename -n 's/\.1$//' *

supprimer le -n (commutateur de mode de marche à vide) si vos tests sont valides.

Il existe d'autres outils portant le même nom qui peuvent ou non être capables de le faire, donc soyez prudent.

Si vous exécutez la commande suivante (linux )

$ file $(readlink -f $(type -p rename))

et vous avez un résultat comme

.../rename: Perl script, ASCII text executable

alors cela semble être le bon outil =)

Sinon, pour en faire la valeur par défaut (généralement déjà le cas) sur Debian et dérivé comme Ubuntu :

$ sudo update-alternatives --set rename /path/to/rename

Enfin, cet outil a été écrit à l'origine par Larry Wall, le père de Perl.

Solution bash pure :

for curFile in example.file.*.1; do
    mv -- "$curFile" "${curFile:0:-2}"
done

Une autre solution bash utilisant l'expansion des paramètres :

for curFile in example.file.*.1; do
    mv "$curFile" "${curFile%.1}"
done