从unix命令行将毫秒时间戳转换为日期

我知道

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,固定.