J'aimerais avoir un temps, disons 6 h 45, et ajouter un nombre d'heures, disons 1,45 heure, pour obtenir un autre temps. J'aimerais donc ajouter 1,45 heures à 6h45 pour avoir une autre heure.
Existe-t-il une ligne de commande utile pour cela? J'ai fait quelques recherches sur Google et j'ai lu la page de manuel de date
et je n'ai rien trouvé de tel. wcalc
ne semble pas gérer les calculs de temps.
EDIT: 6 mars 2015. Voici le script avec lequel j'ai fini d'utiliser les heures décimales. Il pourrait utiliser une vérification d'erreur pour vous assurer que HH: MM utilise 2 chiffres pour les heures.
#!/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"
2:30 hour
place de2.5 hour
?2 hour + 30 minutes
;)