Bash/awk/ Jour julien en date ANNEE-MOIS-JOUR
Fermé
g@555
Messages postés
7
Date d'inscription
mardi 16 avril 2013
Statut
Membre
Dernière intervention
20 juin 2013
-
Modifié par g@555 le 20/06/2013 à 10:39
Utilisateur anonyme - 20 juin 2013 à 15:30
Utilisateur anonyme - 20 juin 2013 à 15:30
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 à jour ses pilotes - Guide
- Mise a jour chromecast - Accueil - Guide TV et vidéo
- Mise a jour kindle - Guide
2 réponses
dubcek
Messages postés
18755
Date d'inscription
lundi 15 janvier 2007
Statut
Contributeur
Dernière intervention
14 novembre 2024
5 621
20 juin 2013 à 12:48
20 juin 2013 à 12:48
hello
par ex. (enlever le -n pour effectuer)
par ex. (enlever le -n pour effectuer)
$ ls day001 day002 day003 $ rename -n 's/0/200701/' d* day001 renamed as day20070101 day002 renamed as day20070102 day003 renamed as day20070103 $
Utilisateur anonyme
Modifié par qqchquicommenceparQ le 20/06/2013 à 15:32
Modifié par qqchquicommenceparQ le 20/06/2013 à 15:32
salut,
j'ai cherché
j'ai trouvé
j'ai cherché
j'ai trouvé
$ DoY=$(date +%j) $ date -d "$(date +%Y)-01-01 +$((DoY-1)) days" +'%Y%m%d' 20130620c'est sûr, il va falloir adapter si le jour est le premier de l'année !
20 juin 2013 à 13:37
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 ? ;-\
Modifié par dubcek le 20/06/2013 à 14:22
edit: c'est faisable:
20 juin 2013 à 15:06
day001,day002 ...day 365
20 juin 2013 à 15:14