]> gitweb.pimeys.fr Git - config-20-100.git/blob - .zsh/rc/base/00_profiling
projects / config-20-100.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Ajout du zshrc, même s'il manque encore de commentaires etc.
[config-20-100.git] / .zsh / rc / base / 00_profiling
1 #!/bin/zsh
2
3 # zsh profiling {{{
4 # just execute 'ZSH_PROFILE_RC=1 zsh' and run 'zprof' to get the details
5 if [[ $ZSH_PROFILE_RC -gt 0 ]] ; then
6 zmodload zsh/zprof
7 fi
8 # }}}
9
Branche perso de configuration de 20-100.