diff options
| author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-03-23 14:25:21 +0100 |
|---|---|---|
| committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-03-23 14:25:21 +0100 |
| commit | ef220dc4484dc29fe0d139d685beff843bb88aa0 (patch) | |
| tree | 597a0d5a7585ff6d7be233551061273104e0d963 /config/essentials | |
| parent | 842182ea81756f58782fce6ece2fe63060fe2b5c (diff) | |
added REPORTTIME for zsh
Diffstat (limited to 'config/essentials')
| -rw-r--r-- | config/essentials/zsh/.zshrc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/essentials/zsh/.zshrc b/config/essentials/zsh/.zshrc index dd52e5e..f5a2568 100644 --- a/config/essentials/zsh/.zshrc +++ b/config/essentials/zsh/.zshrc @@ -86,6 +86,10 @@ parse_git_status() { git status --short 2> /dev/null | head -n1 | awk '{print $1 " "}' } +export REPORTTIME=2 +export TIMEFMT='-> %*E' +alias time='/usr/bin/time' + # Options setopt correct setopt nonomatch |