From d4d4f2528a8a99f59db4072df156504843e17eef Mon Sep 17 00:00:00 2001 From: Sindre Sorhus Date: Fri, 6 Sep 2013 16:20:06 +0200 Subject: [PATCH] Use modern syntax --- pure.zsh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pure.zsh b/pure.zsh index 897c777..d04a751 100644 --- 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() {