Mes fichiers sont nommés selon le fuseau horaire GMT. J'ai réussi à renommer et convertir tous les fichiers dans le fuseau horaire requis en suivant les étapes suivantes.
1. Ce code supprime toutes les extensions de fichiers qui sont en .gif rename "s/.gif//g" *
2. Ce code convertit et renomme tous les fichiers for f in *; do mv -v -- "$f" "$(date -d "$f" '+%Y%m%d%H%M')"; done
- Exemple de conversion :
‘15Z29Aug2017’ -> ‘201708292030’
Malheureusement, je dois ajouter à nouveau l'extension .gif à tous les fichiers en utilisant for f in *; do mv "$f" "$f.gif"; done
Comment puis-je précisément éviter la suppression de l'extension de fichier en modifiant mon code à l'étape 2 ?
Étape 2 extraite de : Comment puis-je convertir en masse des noms de dossier d'un format de date à un autre
