curl - 我如何将 jenkins 构建持续时间从毫秒转换为 hr :min:sec

Question

我可以通过 curl 使用 Rest API 获取 jenkins 构建持续时间，但时间以毫秒为单位。

curl -s "$JOB_URL/$BUILD_NUMBER/api/json?tree=duration

我正在寻找一种以标准格式获取时间的方法，即 hr:min:sec我试过这个到现在

curl -s "$JOB_URL/$BUILD_NUMBER/api/json?tree=duration | awk -F : '{ print $2 }' | awk -F } '{ printf "%i hr %i min %i sec", ($1 / 3600000), ($1 % 3600000)/60000 , ($1 % 100)}'

这绝对是不正确的，因为 URL 以毫秒为单位给出的时间是 417597 但它以 hr:min:sec 给出 0 hr 6 min 97 秒

curl -s $JOB_URL/3458/api/json?tree=duration
{"duration":417597}

curl -s $JOB_URL/3458/api/json?tree=duration | awk -F : '{ print $2 }' | awk -F } '{ printf "%i hr %i min %i sec", ($1 / 3600000), ($1 % 3600000)/60000 , ($1 % 100)}'
0 hr 6 min 97 sec

分时转换正确。我被困在秒转换中有人可以建议这里有什么问题吗？提前致谢。

Answer 1

echo 417597 | awk '
{  t_sec = int($0/1000)
   divmod(t_sec, 60); t_min = Q; sec = R
   divmod(t_min, 60);    hr = Q; min = R
   printf "%s hr %s min %s sec\n", hr, min, sec
}
function divmod(a, b) { # quotient and remainder
    Q = int(a / b)
    R = a - Q * b
}'

返回

0 hr 6 min 57 sec