Shorter and richer time format

[dotfiles.git] / zsh / .zshenv

diff --git a/zsh/.zshenv b/zsh/.zshenv
index 68fa34b31cba4a0ea546865335ffe4a15aac88ee..e6dc0fc7ebec720c87424ae38d77ad312e8e1dc4 100644 (file)
--- a/zsh/.zshenv
+++ b/zsh/.zshenv
@@ -102,8 +102,9 @@ export SSH_AUTH_SOCK=$HOME/.ssh/agent
 export MAILDIR=$HOME/mail
 export DBUS_SESSION_BUS_ADDRESS=disabled:
 export MYSQL_HISTFILE=/tmp/.mysql_history
-export REDO_JOBS=0 REDO_NO_SYNC=1
+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"
 # }}}