diff options
| -rw-r--r-- | etc/parameters | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/parameters b/etc/parameters index e454982..0374426 100644 --- a/etc/parameters +++ b/etc/parameters @@ -6,7 +6,7 @@ HISTSIZE=50000 SAVEHIST=$HISTSIZE DIRSTACKSIZE=20 LISTMAX=0 -TIMEFMT='%E real %U user %S system %P %J' +TIMEFMT='%J (%P) - %*E real, %*U user, %*S system' # Paths [[ $path[1] = $HOME/bin ]] || export PATH=$HOME/bin:$PATH |