Bash/awk/ Jour julien en date ANNEE-MOIS-JOUR
g@555
Messages postés
7
Date d'inscription
Statut
Membre
Dernière intervention
-
Utilisateur anonyme -
Utilisateur anonyme -
Bonjour,
J'ai des fichiers nommés day001,day002,day003, etc, et je voudrais
les renommer par day20070101, day20070102, etc.
J'ai plusieurs années à modifier dont des années bissextiles.
Quel est le moyen le plus simple de faire cela ?
Merci
J'ai des fichiers nommés day001,day002,day003, etc, et je voudrais
les renommer par day20070101, day20070102, etc.
J'ai plusieurs années à modifier dont des années bissextiles.
Quel est le moyen le plus simple de faire cela ?
Merci
A voir également:
- Bash/awk/ Jour julien en date ANNEE-MOIS-JOUR
- Mise a jour chrome - Accueil - Applications & Logiciels
- Mise a jour windows 10 - Accueil - Mise à jour
- Mettre a jour chromecast - Accueil - Guide TV et vidéo
- Comment mettre à jour ses pilotes - Guide
- Le jour de ma naissance gratuit - Télécharger - Histoire & Religion
J'ai l'impression que ses "001,002,003,etc.", correspondent aux quantièmes des jours dans l'année, donc je suppute qu'arriver à 32 va y avoir comme un os avec rename, non ? ;-\
edit: c'est faisable:
day001,day002 ...day 365