superceded by timestart|stop.bash;
authorwenzelm
Thu, 01 Dec 2005 18:45:24 +0100
changeset 18323 4365c8d84f69
parent 18322 56554bb23eda
child 18324 d1c4b1112e33
superceded by timestart|stop.bash;
lib/scripts/showtime
--- 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}"