diff options
-rw-r--r-- | bash/bashrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bash/bashrc b/bash/bashrc index 5e32185b..164091f9 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -31,6 +31,9 @@ HISTTIMEFORMAT='%F %T ' # Don't warn me about new mail unset -v MAILCHECK +# Use a more compact format for the time builtin's output +TIMEFORMAT='real:%lR user:%lU sys:%lS' + # Never beep at me setterm -bfreq -blength 2>/dev/null |