我知道
@H_502_10@date -d @<timestamp in seconds>
和
awk '{print strftime("%c",<timestamp in seconds>)}'
但是如果我有毫秒的话.有没有琐碎的方法来做到这一点,而不会丢弃毫秒的时间戳的最后三个字符(不是丢弃的字符是困难的,但我认为这将有一个一步的方式这样一个直接的任务)?