lib/scripts/showtime
author wenzelm
Fri, 13 Mar 1998 18:15:14 +0100
changeset 4744 4469d498cd48
parent 4450 2c64ce912684
child 9789 7e5e6c47c0b5
permissions -rwxr-xr-x
moved addsplits [expand_if] from HOL_basic_ss to HOL_ss;

#!/bin/bash
#
# $Id$
#
# showtime - print time.

TIME=$1

SECS=$[ $TIME % 60 ]
[ $SECS -lt 10 ] && SECS=0$SECS

MINUTES=$[ ($TIME / 60) % 60 ]
[ $MINUTES -lt 10 ] && MINUTES=0$MINUTES

HOURS=$[ $TIME / 3600 ]

echo "${HOURS}:${MINUTES}:${SECS}"