Bashコマンドラインでdateの出力フォーマットを変えて他のよく使われるISOスタンダード準拠のものなどにフォーマットして出力したりする方法について紹介します。
以下では例えばBashでISO8601のタイムスタンプをdateで出力します。
date +%FT%T%Z
その他使えそうなやつ
ISO8601 .. date --utc +%FT%TZ
ISO8601 .. date --utc +%FT%T.%3NZ
ISO8601 .. date +%FT%T%Z
Most common Bash date commands for timestamping « The Intellectual Wilderness