Use modern syntax

2013-09-06 16:20:06 +02:00
parent 56fbc04990
commit d4d4f2528a
1 changed files with 2 additions and 2 deletions
--- a/pure.zsh
+++ b/pure.zsh
@@ -49,8 +49,8 @@
 	pure_cmd_exec_time() {
 		local stop=`date +%s`
 		local start=${cmd_timestamp:-$stop}
-		let local elapsed=$stop-$start
-		[ $elapsed -gt "${PURE_CMD_MAX_EXEC_TIME:=5}" ] && echo ${elapsed}s
+		integer elapsed=$stop-$start
+		[[ $elapsed -gt ${PURE_CMD_MAX_EXEC_TIME:=5} ]] && echo ${elapsed}s
 	}

 	pure_preexec() {