#!/bin/bash
######################################################
# sec_to_time
#
# Conversion de secondes en h:m:s
#	On attend deux arguments
#	- nbr de secondes au depart
#	- nbr de secondes a l'arrivee
# 
# Exemple Procedure appel
# sec_to_time 2 3685
# - realise 2 operations
#   conversion de 3665 - 2 = 3663 (secondes)
#   conversion de 3663 en hh:mm:ss
# On obtient sur la sortie std  01:01:23 soit
# 1 heure 1 minute 23 secondes
# Utilisation de printf pour garantir formats fixes
# 27/11/2012
######################################################
START_TIME=$1
STOP_TIME=$2

let TT=STOP_TIME-START_TIME
let HR=TT/3600
let MN=(TT-HR*3600)/60
let SC=TT-3600*HR-60*MN
printf "%02d:" "$HR" "$MN" "$SC"