superceded by timestart|stop.bash;
authorwenzelm
Thu Dec 01 18:45:24 2005 +0100 (2005-12-01 ago)
changeset 183234365c8d84f69
parent 18322 56554bb23eda
child 18324 d1c4b1112e33
superceded by timestart|stop.bash;
lib/scripts/showtime
     1.1 --- a/lib/scripts/showtime	Thu Dec 01 18:44:47 2005 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,18 +0,0 @@
     1.4 -#!/usr/bin/env bash
     1.5 -#
     1.6 -# $Id$
     1.7 -# Author: Markus Wenzel, TU Muenchen
     1.8 -#
     1.9 -# showtime - print time.
    1.10 -
    1.11 -TIME="$1"
    1.12 -
    1.13 -SECS=$[ $TIME % 60 ]
    1.14 -[ $SECS -lt 10 ] && SECS="0$SECS"
    1.15 -
    1.16 -MINUTES=$[ ($TIME / 60) % 60 ]
    1.17 -[ $MINUTES -lt 10 ] && MINUTES="0$MINUTES"
    1.18 -
    1.19 -HOURS=$[ $TIME / 3600 ]
    1.20 -
    1.21 -echo "${HOURS}:${MINUTES}:${SECS}"