【发布时间】:2014-06-16 06:13:35
【问题描述】:
我需要通过 curl 命令获取工作持续时间。
我可以访问它
curl -s $JENKINS_JOB_URL/146/api/json?tree=duration
{“持续时间”:14182142}
如何将 14182142 转换为 "3 hr 56 min" ? (通过 ksh,或在 curl 命令中)
谢谢
【问题讨论】:
我需要通过 curl 命令获取工作持续时间。
我可以访问它
curl -s $JENKINS_JOB_URL/146/api/json?tree=duration
{“持续时间”:14182142}
如何将 14182142 转换为 "3 hr 56 min" ? (通过 ksh,或在 curl 命令中)
谢谢
【问题讨论】:
awk 可以接受吗?
curl -s $JENKINS_JOB_URL/146/api/json?tree=duration | awk -F : '{ print $2 }' | awk -F } '{ printf "%i hr %i min", ($1 / 3600000), ($1 % 3600000)/60000 }'
如果有人知道将数字从字符串中取出并放入 awk 的好方法,我可以删除讨厌的 awk 双重调用。
【讨论】:
你总是可以使用一些python:
python -c"import datetime;print datetime.timedelta(milliseconds=14182142);"
3:56:22.142000
【讨论】: