A voir également:
- Modifier l'ordre d'affichage d'une date
- Modifier dns - Guide
- Comment trier par ordre alphabétique sur excel - Guide
- Modifier liste déroulante excel - Guide
- Comment modifier une story sur facebook - Guide
- Modifier extension fichier - Guide
3 réponses
Salut,
$ echo "yyyymmdd" | sed -r 's/(....)(..)(..)/\3\2\1/' ddmmyyyy
Gemini
Faut vraiment que j'apprenne à me servir de sed :D
zipe31
Messages postés
38797
Date d'inscription
Statut
Contributeur
Dernière intervention
6 435
FAQ SED ;-))
Bonjour
Tout d'abbord merci de votre aide.
pour ceux que ça interresse voici la solution que j'ai addopté:
awk '{print substr($3,7,2)"/"substr($3,5,2)"/"substr($3,1,4)'
la ligne de commande complete:
grep -i $BATCH.sh $CHEMIN_FICHIER_STAT/hist_stat_batch | grep $1 | sed 's/ * /;/g'|awk -F ";" '{print substr($3,7,2)"/"substr($3,5,2)"/"substr($3,1,4)";"$4";"$6";"$7}' >> resultat_$BATCH.csv
Tout d'abbord merci de votre aide.
pour ceux que ça interresse voici la solution que j'ai addopté:
awk '{print substr($3,7,2)"/"substr($3,5,2)"/"substr($3,1,4)'
la ligne de commande complete:
grep -i $BATCH.sh $CHEMIN_FICHIER_STAT/hist_stat_batch | grep $1 | sed 's/ * /;/g'|awk -F ";" '{print substr($3,7,2)"/"substr($3,5,2)"/"substr($3,1,4)";"$4";"$6";"$7}' >> resultat_$BATCH.csv
