午前6時45分と言う時間をとり、さらに時間を追加して1.45時間とすると、別の時間になります。別の時間を取得するために、午前6時45分に1.45時間を追加します。
そのためのコマンドラインユーティリティはありますか?私はいくつかのグーグルをやったが、マニュアルページを読んで、date
そのようなものを見つけていない。wcalc
時間の計算を処理していないようです。
編集:2015年3月6日。これは10進数の時間を使用することになったスクリプトです。いくつかのエラーチェックを使用して、HH:MMが時間に2桁を使用していることを確認できます。
#!/bin/bash
# Mar 6, 2015
# Add decimal hours to given time.
# Syntax: timeadd HH:MM HOURS
# There MUST be 2 digits for the hours in HH:MM.
# Times must be in military time.
# Ex: timeadd 05:51 4.51
# Ex: timeadd 14:12 2.05
echo " "
# If we have less than 2 parameters, show instructions and exit.
if [ $# -lt 2 ]
then
echo "Usage: timeadd HH:MM DECHOURS"
exit 1
fi
intime=$1
inhours=$2
# Below is arithmetic expansion $(())
# The bc calculator is standard on Ubuntu.
# Below rounds to the minute.
inminutes=$(echo "scale=0; ((($inhours * 60)*10)+5)/10" | bc)
echo "inminutes=$inminutes"
now=$(date -d "$intime today + $inminutes minutes" +'%H:%M')
echo "New time is $now"