awk - 将时间值转换为十进制值

Question

如何使用awk将时间值转换为十进制值。

我一直在以相反的方式使用这个命令（-> 来自）：

awk '{printf "%d:%02d", ($1 * 60 / 60), ($1 * 60 % 60)}' <<< 1.5

prints: 1:30

我如何将该值计算1:30回十进制值1.5？

Answer 1

这个怎么样？

awk -F: '{printf "%.1f", ($1*60+$2)/60}' <<< 1:30