我知道
date -d @<timestamp in seconds>
和
awk '{print strftime("%c",<timestamp in seconds>)}'
但是如果我有毫秒的话.有没有琐碎的方法来做到这一点,而不会丢弃毫秒的时间戳的最后三个字符(不是丢弃的字符是困难的,但我认为这将有一个一步的方式这样一个直接的任务)？
代替掉字符,你可以除以1000：
awk '{print strftime("%c",( <timestamp in milliseconds> + 500 ) / 1000 )}'
要么：
date -d @$( echo "(MilliSecondTimeStamp + 500) / 1000" | bc)
编辑：调整为商,而不是划分.编辑2：Thx zeekvfu,固定.
