Gostaria de ter um tempo, digamos 6h45, e adicionar uma quantidade de horas, digamos 1,45 horas, para resultar em outro horário. Então, eu gostaria de adicionar 1,45 horas às 6:45 da manhã para ter outra hora.
Existe uma linha de comando utile para isso? Eu pesquisei no Google e li a página de manual date
e não encontrei nada parecido. wcalc
parece não lidar com cálculos de tempo.
Edição: 6 de março de 2015. Esse é o script que eu terminei para usar horas decimais. Poderia usar alguma verificação de erro para garantir que o HH: MM use 2 dígitos para as horas.
#!/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"