Modification d'un format de date
Résolu
GHISLINO
Messages postés
234
Statut
Membre
-
GHISLINO Messages postés 234 Statut Membre -
GHISLINO Messages postés 234 Statut Membre -
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
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:
- Modification d'un format de date
- Format epub - Guide
- Format factory - Télécharger - Conversion & Codecs
- Suivi de modification word - Guide
- Hp usb disk storage format tool - Télécharger - Stockage
- Format dat - Guide
5 réponses
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
$
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
$
salut,
quel shell ?
en bash, tu peux te servir des substitutions de paramètres, genre
en sh, il faudra utiliser cut.
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.
Salut,
Ou avec "sed" :
;-))
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
$
;-))
Vous n’avez pas trouvé la réponse que vous recherchez ?
Posez votre question