diff options
| author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-03-30 13:55:21 +0200 |
|---|---|---|
| committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-03-30 13:55:21 +0200 |
| commit | f7d1036b29704701e4ae94c28e85b4885fb1588d (patch) | |
| tree | a642045ab98974068d11f6ec9ab2116465912c7c /config/essentials/zsh | |
| parent | 1db193dda50732cb3a0ec0a933c949b6774b5121 (diff) | |
use longer reporttime
Diffstat (limited to 'config/essentials/zsh')
| -rw-r--r-- | config/essentials/zsh/.zshrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/essentials/zsh/.zshrc b/config/essentials/zsh/.zshrc index 841b201..2d3f30d 100644 --- a/config/essentials/zsh/.zshrc +++ b/config/essentials/zsh/.zshrc @@ -86,7 +86,7 @@ parse_git_status() { git status --short 2> /dev/null | head -n1 | awk '{print $1 " "}' } -export REPORTTIME=1 +export REPORTTIME=2 export TIMEFMT="-> %*E" alias time='/usr/bin/time' |