2016-02-26 74 views

回答

3

您可以使用bash爲:

#!/bin/bash 
ts="1456478048306" 
unix_epoch=${ts:0:-3} 
ms=${ts:((-3)):3} 

echo "$(date [email protected]"${unix_epoch}" +%H:%M:%S):${ms}" 

順便說一句,當然你也可以使用awk。然而awk不允許在這裏簡化很多事情,算法或多或少相同:

awk -v ts="1456478048306" '{ 
    unix_epoch=substr(ts, 0, length(ts)-3) 
    ms=substr(ts, length(ts)-2, 3) 
    print strftime("%H:%M:%S", unix_epoch) ":" ms 
}' 
相關問題