From ef220dc4484dc29fe0d139d685beff843bb88aa0 Mon Sep 17 00:00:00 2001
From: Raymaekers Luca <raymaekers.luca@gmail.com>
Date: Thu, 23 Mar 2023 14:25:21 +0100
Subject: added REPORTTIME for zsh

---
 config/essentials/zsh/.zshrc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'config/essentials')

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 
-- 
cgit v1.2.3