AWK关于时间转换的问题

zzndino

我现在有时间比如32.324(单位是秒)这样的格式，我想转换成00:00:32,324这样的时间格式 请问AWK或者shell有什么办法吗

cu_little_bird

回复 1# zzndino

1. echo 32.324|awk -F. '{print "00:00:"$1","$2}'

复制代码

zzndino

。。。楼上的方法很另类，那要是我的时间是6032.324怎么办呢？我会有很多时间位的。。。

hover_sky

回复 3# zzndino


    请先列出时间格式

zzndino

没明白楼上指什么，我现在有一系列时间戳就像：
6032.324
6040.134
6051.123
单位都是秒
想转换成他们分别的时间格式例如
01:23:45,324
01:23:53,134
01:24:02,123
上面这三行是举例格式，因为我也没算出来6032是多少个小时。

lkk2003rty

1. echo "1234.456" | awk 'BEGIN{FS="."}{print int($1/3600)":"int($1%3600/60)":"int($1%60)","$2}'

复制代码

java_html

回复 1# zzndino


    echo 6032.324 | awk -F. '{ s=$1%60;m=int($1/60);h=int(m/60); m=(h>0)?m%60:0;printf("%02d:%02d:%02d,%d\n",h,m,s,$2)}'

zzndino

感谢兄弟们这么快质量这么高的回复！！！我用了java_html的方法，不过java_html你也有一点错了就是m那里
这里特别感谢lkk2003rty (小毛孩) 你的回复最快，就是我要的00:00这样，自己一懒就用了java_html的
多谢各位兄弟们！！！

yuloveban

回复 1# zzndino


    echo "32.324" | awk -vFS="." -vOFS="," '{print "00:00:"$1,$2}'

java_html

回复 1# zzndino


    sorry，测试不够好，m%60:0应该是m%60:m
echo 1234.456 | awk -F. '{s=$1%60;m=int($1/60);h=int(m/60);m=(h>0)?m%60:m;printf("%02d:%02d:%02d,%d\n",h,m,s,$2)}'