如何在Bash中将字符串格式日期yyyymmddThhmmss.sss转换为日期？

Question

我在字符串变量中有以下格式的日期：yyyymmddThhmmss.sss。例如：20171115T102601.259 如何在Bash中将此字符串转换为日期？

Answer 1

检查

dt=$(sed -E "s/([0-9]{8})T([0-9]{2})([0-9]{2})([0-9]{2})/\1 \2:\3:\4/" <<< "20171115T102601.259")

date  -d "$dt"