author | wenzelm |
Mon, 10 Dec 2001 18:50:01 +0100 | |
changeset 12454 | 9b669895f984 |
parent 10555 | 2323ec838401 |
child 14981 | e73f8140af78 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # $Id$ # Author: Markus Wenzel, TU Muenchen # License: GPL (GNU GENERAL PUBLIC LICENSE) # # 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}"