Ajout du zshrc, même s'il manque encore de commentaires etc.

[config-20-100.git] / .zsh / rc / base / 00_profiling

diff --git a/.zsh/rc/base/00_profiling b/.zsh/rc/base/00_profiling
new file mode 100644 (file)
index 0000000..69dda34
--- /dev/null
+++ b/.zsh/rc/base/00_profiling
@@ -0,0 +1,9 @@
+#!/bin/zsh
+
+# zsh profiling {{{
+# just execute 'ZSH_PROFILE_RC=1 zsh' and run 'zprof' to get the details
+if [[ $ZSH_PROFILE_RC -gt 0 ]] ; then
+    zmodload zsh/zprof
+fi
+# }}}
+