From 6d957302daa9f5a3a103b51bb89459ce831a9c02 Mon Sep 17 00:00:00 2001
From: Andrea Mistrali <andrea.mistrali@gmail.com>
Date: Fri, 29 Oct 2021 06:42:26 +0200
Subject: [PATCH] Disable zprof

---
 zshrc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/zshrc b/zshrc
index 6b74de3..6f97dda 100644
--- a/zshrc
+++ b/zshrc
@@ -7,7 +7,10 @@
 # Global Order: zshenv, zprofile, zshrc, zlogin
 #
 
-zmodload zsh/zprof
+# Load zprof if we need to profile startup time
+# at the bottom of ~/.zshrc add `zprof >! zsh_profile` to save
+# profiling data at startup
+# zmodload zsh/zprof
 # Determine zsh conf file position. On Debian/Ubuntu is /etc/zsh, on other should be /etc
 #
 [ -d /etc/zsh ] && BASE="/etc/zsh" || BASE="/etc"