unix - UNIXコマンドラインからミリ秒のタイムスタンプを日付に変換

Question

私は知っています

date -d @<timestamp in seconds>

と

awk '{print strftime("%c", <timestamp in seconds>)}'

しかし、ミリ秒がある場合はどうなりますか。ミリ秒のタイムスタンプの最後の3文字を削除せずにこれを行う簡単な方法はありますか（文字を削除するのは難しいことではありませんが、このような簡単なタスクには1ステップの方法があると思います）。

Answer 1

文字を削除する代わりに、1000 で割ることができます。

awk '{print strftime("%c", ( <timestamp in milliseconds> + 500 ) / 1000 )}'

または：

date -d @$(  echo "(MilliSecondTimeStamp + 500) / 1000" | bc)

または (MacOS):

gdate -d @$(  echo "(MilliSecondTimeStamp + 500) / 1000" | bc)

編集：除算ではなく商に合わせて調整。Edit2: Thx zeekvfu、修正済み。

Answer 2

perl -e 'print scalar localtime(<timestamp> / 1000)'