Saya ingin punya waktu, katakan 6:45 pagi, dan tambahkan beberapa jam, katakan 1,45 jam, untuk menghasilkan waktu lain. Jadi saya ingin menambahkan 1,45 jam hingga 6:45 pagi untuk mendapatkan waktu lain.
Apakah ada utile baris perintah untuk itu? Saya telah melakukan beberapa Googling, dan membaca halaman manual untuk date
dan belum menemukan yang seperti itu. wcalc
sepertinya tidak menangani perhitungan waktu.
EDIT: 6 Maret 2015. Ini adalah skrip yang saya gunakan untuk menggunakan jam desimal. Itu bisa menggunakan beberapa pengecekan kesalahan untuk memastikan HH: MM menggunakan 2 digit selama berjam-jam.
#!/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"