showtime - print time.

--- /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}"