awk - 將時間值轉換為十進制值

如何使用awk將時間值轉換為十進制值。

我一直在使用這個命令（-> from）：

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

prints: 1:30

我如何將這個值計算1:30回十進制值1.5？

這個怎麼樣？

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

引用自：https://unix.stackexchange.com/questions/492349