1
#!/bin/bash
2
#
3
# $Id$
4
5
# showtime - print time.
6
7
TIME=$1
8
9
SECS=$[ $TIME % 60 ]
10
MINUTES=$[ ($TIME / 60) % 60 ]
11
HOURS=$[ $TIME / 3600 ]
12
13
echo "${HOURS}:${MINUTES}:${SECS}"