diff options
author | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-03-26 18:51:11 +0200 |
---|---|---|
committer | Raymaekers Luca <raymaekers.luca@gmail.com> | 2023-03-26 18:51:11 +0200 |
commit | b66b3b079973b66520b38587a6cf23b826c5f919 (patch) | |
tree | 77492b2f2e6243ce6c221514312c5130147fd2a7 | |
parent | 0c8c9f661f73d713a4061c0232bce59038b56368 (diff) |
added reporttime to zshrc
-rw-r--r-- | config/essentials/zsh/.zshrc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/essentials/zsh/.zshrc b/config/essentials/zsh/.zshrc index f5a2568..841b201 100644 --- a/config/essentials/zsh/.zshrc +++ b/config/essentials/zsh/.zshrc @@ -86,8 +86,8 @@ parse_git_status() { git status --short 2> /dev/null | head -n1 | awk '{print $1 " "}' } -export REPORTTIME=2 -export TIMEFMT='-> %*E' +export REPORTTIME=1 +export TIMEFMT="-> %*E" alias time='/usr/bin/time' # Options |