diff options
-rw-r--r-- | user:hugues/Environment.zsh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/user:hugues/Environment.zsh b/user:hugues/Environment.zsh index 6dc32aa..db2d2e6 100644 --- a/user:hugues/Environment.zsh +++ b/user:hugues/Environment.zsh @@ -58,10 +58,10 @@ export LS_OPTIONS="-F --color=always" ## Trucs à la con spécifiques à Zsh LOGCHECK=10 # %n has logged on/off .. REPORTTIME=1 # ``time'' automatique -TIMEFMT='`%J` -- %P cpu - User %U - System %S - Total %E' +TIMEFMT="$termcap[as]qqqqqqqwqqqqqqqqqqqqqqqqqqqqqqqqqqqu$termcap[ae] %P cpu $termcap[as]tq$termcap[ae] + user$termcap[as]x$termcap[ae]%U + system$termcap[as]x$termcap[ae]%S + total$termcap[as]x$termcap[ae]%E" KEYTIMEOUT=1 # 0,01 sec |