set the reportime variable
authorJoerg Jaspert <joerg@debian.org>
Sat, 30 Mar 2013 21:45:09 +0000 (22:45 +0100)
committerJoerg Jaspert <joerg@debian.org>
Sat, 30 Mar 2013 21:45:09 +0000 (22:45 +0100)
M .zsh/10_Environment.zsh
M .zsh/zshenv.local.sample

.zsh/10_Environment.zsh
.zsh/zshenv.local.sample

index 331d602..d21d18a 100644 (file)
@@ -70,3 +70,6 @@ fi
 # The format of process time reports with the time builtin.
 setvar TIMEFMT "%J  %U user %S system %P cpu %*E total | Mem: %M kb max"
 
+# Report time statistics if command runs longer than 30 seconds
+# (combined user/system execution times)
+setvar REPORTTIME 30
index 4dbd74d..b870192 100644 (file)
@@ -89,6 +89,10 @@ zstyle ':ganneff:config' dirstackhandling dirpersist
 ## The format of process time reports with the time builtin.
 # zstyle ':ganneff:config' TIMEFMT "%J  %U user %S system %P cpu %*E total | Mem: %M kb max"
 
+## Report time statistics if command runs longer than 30 seconds
+## (combined user/system execution times)
+# zstyle ':ganneff:config' REPORTTIME 30
+
 ## Preferred list of locales to set. The first found is taken, you
 ## should end with C in case there is no locale configured.
 #zstyle ':ganneff:config' locales "LANG de_DE.utf8 en_GB.utf8 C.UTF-8 C" \