Shorter and richer time format

[dotfiles.git] / zsh / .zshenv

diff --git a/zsh/.zshenv b/zsh/.zshenv
index bf15ff5bc23a25c9aa204c9b76b2ea3bfcf7d40c..e6dc0fc7ebec720c87424ae38d77ad312e8e1dc4 100644 (file)
--- a/zsh/.zshenv
+++ b/zsh/.zshenv
@@ -17,7 +17,7 @@ export TERM
 export PAGER=less
 export LESSHISTFILE=/tmp/.lesshst
 export LESSKEY=/tmp/.lesskey
-export LESS=RWXij3
+export LESS=RWXij2
 export LESS=${LESS}"Ps?f%f .?m(%i/%m) .%lt-%lb?L/%L. [%bB?B/%B.]?B %pB\%.?x N\:%x.%t"
 # }}}
 
@@ -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"
 # }}}