From f7d1036b29704701e4ae94c28e85b4885fb1588d Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Thu, 30 Mar 2023 13:55:21 +0200 Subject: use longer reporttime --- config/essentials/zsh/.zshrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'config/essentials/zsh') 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' -- cgit v1.2.3