From b66b3b079973b66520b38587a6cf23b826c5f919 Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Sun, 26 Mar 2023 18:51:11 +0200 Subject: added reporttime to zshrc --- config/essentials/zsh/.zshrc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'config') 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 -- cgit v1.2.3