Shorter and richer time format

diff --git a/zsh/.zshenv b/zsh/.zshenv
index 80f85dadcaa7d780329931d3dbaa1ffb9680cb90..e6dc0fc7ebec720c87424ae38d77ad312e8e1dc4 100644 (file)
--- a/zsh/.zshenv
+++ b/zsh/.zshenv
@@ -106,4 +106,5 @@ export REDO_JOBS=8 REDO_NO_SYNC=1
 export SHARNESS_TEST_SRCDIR=$HOME/local/stow/sharness/share/sharness
 export FZF_DEFAULT_OPTS="--color=16 --info=inline"
 export AUTOENV_AUTH_FILE=~/.zautoenv-auth
+export TIMEFMT="user:%U sys:%S mem:%K/%M io:%I/%O %*E"
 # }}}