Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
leading 0s;
authorwenzelm
Fri, 19 Dec 1997 10:30:27 +0100
changeset 4450 2c64ce912684
parent 4449 df30e75f670f
child 4451 f9e3e9f1af61
leading 0s;
lib/scripts/showtime file | annotate | diff | comparison | revisions 
--- a/lib/scripts/showtime	Fri Dec 19 10:28:33 1997 +0100
+++ b/lib/scripts/showtime	Fri Dec 19 10:30:27 1997 +0100
@@ -7,7 +7,11 @@
 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}"
isabelle