Adding zsh profiling
This commit is contained in:
parent
c0a61a402d
commit
730098c9a3
1 changed files with 10 additions and 0 deletions
10
.zshrc
10
.zshrc
|
|
@ -1,3 +1,9 @@
|
|||
## Profiling options
|
||||
#PS4='+$(date "+%s:%N") %N:%i> '
|
||||
#exec 3>&2 2>/tmp/zsh-startlog.$$
|
||||
#setopt prompt_subst
|
||||
#setopt xtrace
|
||||
|
||||
typeset -ga preexec_functions
|
||||
typeset -ga precmd_functions
|
||||
typeset -ga chpwd_functions
|
||||
|
|
@ -352,3 +358,7 @@ ex () {
|
|||
echo "'$1' is not a valid file!"
|
||||
fi
|
||||
}
|
||||
|
||||
## Profiling options
|
||||
#unsetopt xtrace
|
||||
#exec 2>&3 3>&-
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue