Saya memiliki file yang berisi tanggal zaman yang perlu saya konversi agar dapat dibaca oleh manusia. Saya sudah tahu bagaimana melakukan konversi tanggal, misalnya:
[server01 ~]$ date -d@1472200700
Fri 26 Aug 09:38:20 BST 2016
..tapi saya berjuang untuk mencari cara sed
untuk berjalan melalui file dan mengkonversi semua entri. Format file terlihat seperti ini:
#1472047795
ll /data/holding/email
#1472047906
cat /etc/rsyslog.conf
#1472048038
ll /data/holding/web
date -d
tidak portabel untuk mengatakan Solaris ... Saya menganggap ini pada sistem dengan sebagian besar alat GNU? (GNU AWK / Perl cenderung menjadi metode yang lebih portabel untuk menangani konversi tanggal). gawk '{ if ($0 ~ /^#[0-9]*$/) {print strftime("%c",substr($0,2)); } else {print} }' < file
( strftime
sepertinya tidak bisa dibawa-bawa ...)
HISTTIMEFORMAT
variabel shell untuk mengontrol format pada saat penulisan.