# HG changeset patch
# User wenzelm
# Date 882468742 -3600
# Node ID a3a683a8bcc65e48dfdb984a283927aa9c037a42
# Parent  41a7e4f0e957087d9d5a09c20e673cb38a872df3
showtime - print time.

diff -r 41a7e4f0e957 -r a3a683a8bcc6 lib/scripts/showtime
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/scripts/showtime	Thu Dec 18 19:12:22 1997 +0100
@@ -0,0 +1,13 @@
+#!/bin/bash
+#
+# $Id$
+#
+# showtime - print time.
+
+TIME=$1
+
+SECS=$[ $TIME % 60 ]
+MINUTES=$[ ($TIME / 60) % 60 ]
+HOURS=$[ $TIME / 3600 ]
+
+echo "${HOURS}:${MINUTES}:${SECS}"