| author | wenzelm |
| Fri, 04 Jun 1999 22:12:33 +0200 | |
| changeset 6782 | adf099e851ed |
| parent 4450 | 2c64ce912684 |
| child 9789 | 7e5e6c47c0b5 |
| permissions | -rwxr-xr-x |
| 4436 | 1 |
#!/bin/bash |
2 |
# |
|
3 |
# $Id$ |
|
4 |
# |
|
5 |
# showtime - print time. |
|
6 |
||
7 |
TIME=$1 |
|
8 |
||
9 |
SECS=$[ $TIME % 60 ] |
|
| 4450 | 10 |
[ $SECS -lt 10 ] && SECS=0$SECS |
11 |
||
| 4436 | 12 |
MINUTES=$[ ($TIME / 60) % 60 ] |
| 4450 | 13 |
[ $MINUTES -lt 10 ] && MINUTES=0$MINUTES |
14 |
||
| 4436 | 15 |
HOURS=$[ $TIME / 3600 ] |
16 |
||
17 |
echo "${HOURS}:${MINUTES}:${SECS}"
|