Ich möchte eine Zeit haben, sagen wir 6:45 Uhr, und eine Anzahl von Stunden, sagen wir 1,45 Stunden, hinzufügen, um eine andere Zeit zu ergeben. Also möchte ich 1,45 Stunden auf 6:45 Uhr hinzufügen, um eine andere Zeit zu bekommen.
Gibt es dafür ein Kommandozeilen-Dienstprogramm? Ich habe ein bisschen gegoogelt und die Manpage dafür gelesen date
und so etwas nicht gefunden. wcalc
scheint nicht mit Zeitberechnungen umzugehen.
EDIT: 6. März 2015. Dies ist das Skript, mit dem ich endete, um Dezimalstunden zu verwenden. Es könnte einige Fehlerprüfungen verwenden, um sicherzustellen, dass HH: MM 2 Ziffern für die Stunden verwendet.
#!/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"