author | wenzelm |
Thu, 01 Dec 2005 18:45:24 +0100 | |
changeset 18323 | 4365c8d84f69 |
parent 18322 | 56554bb23eda |
child 18324 | d1c4b1112e33 |
lib/scripts/showtime | file | annotate | diff | comparison | revisions |
--- a/lib/scripts/showtime Thu Dec 01 18:44:47 2005 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,18 +0,0 @@ -#!/usr/bin/env bash -# -# $Id$ -# Author: Markus Wenzel, TU Muenchen -# -# 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}"