Modification d'un format de date

Résolu
GHISLINO Messages postés 214 Date d'inscription   Statut Membre Dernière intervention   -  
GHISLINO Messages postés 214 Date d'inscription   Statut Membre Dernière intervention   -
Bonjour, a tous

je veux modifier le format de date suivant : 20111027191609.8Z en 2011/10/27 19:16:09.8Z par une commande shell

merci




A voir également:

5 réponses

dubcek Messages postés 18789 Date d'inscription   Statut Contributeur Dernière intervention   5 634
 
hello
$ echo 20111027191609.8Z | awk 'BEGIN{FIELDWIDTHS="4 2 2 2 2 5"}{print $1 "/" $2 "/" $3 " " $4 ":" $5 ":" $6}' 
2011/10/27 19:16:09.8Z 
$ 
1
dubcek Messages postés 18789 Date d'inscription   Statut Contributeur Dernière intervention   5 634
 
en bash
$ D=20111027191609.8Z ; echo ${D:0:4}/${D:4:2}/${D:6:2} ${D:8:2}:${D:10:2}:${D:12:5} 
2011/10/27 19:16:09.8Z
$ 
1
Utilisateur anonyme
 
salut,

quel shell ?

en bash, tu peux te servir des substitutions de paramètres, genre
var="abc"
var="${var:1}"
echo "$var"
bc


en sh, il faudra utiliser cut.
0
zipe31 Messages postés 36402 Date d'inscription   Statut Contributeur Dernière intervention   6 429
 
Salut,

Ou avec "sed" :

$ echo ${A%}
20111027191609.8Z

$ echo ${A%} | sed -r 's#(....)(..)(..)(..)(..)(..)(.*)#\1/\2/\3 \4:\5:\6\7#'
2011/10/27 19:16:09.8Z

$

;-))
0

Vous n’avez pas trouvé la réponse que vous recherchez ?

Posez votre question
GHISLINO Messages postés 214 Date d'inscription   Statut Membre Dernière intervention  
 
bonjour

merci beaucoup les gars ca marche tres bien.
0