J'ai un fichier qui contient des dates d'époque que j'ai besoin de convertir en lisibles par l'homme. Je sais déjà comment faire la conversion de date, par exemple:
[server01 ~]$ date -d@1472200700
Fri 26 Aug 09:38:20 BST 2016
..mais j'ai du mal à comprendre comment sed
parcourir le fichier et convertir toutes les entrées. Le format de fichier ressemble à ceci:
#1472047795
ll /data/holding/email
#1472047906
cat /etc/rsyslog.conf
#1472048038
ll /data/holding/web
date -d
n'est pas portable pour dire Solaris ... Je suppose que c'est sur un système avec principalement des outils GNU? (GNU AWK / Perl ont tendance à être les méthodes les plus portables pour gérer les conversions de dates). gawk '{ if ($0 ~ /^#[0-9]*$/) {print strftime("%c",substr($0,2)); } else {print} }' < file
( strftime
semble non portable ...)
HISTTIMEFORMAT
variable shell pour contrôler le format au moment de l'écriture.