diff options
author | xiao.fan <xiao.fan@workday.com> | 2015-08-04 15:07:47 -0700 |
---|---|---|
committer | xiao.fan <xiao.fan@workday.com> | 2015-08-04 15:10:18 -0700 |
commit | cddfc3b038d821ddb6d0e81410675ffaeb11cac9 (patch) | |
tree | 88b80effc0f0c16abbac40789e20fa00e17ac2a7 /plugins/dirhistory | |
parent | aac552362917fc729c80d191dd387016e39f97a0 (diff) | |
download | zsh-cddfc3b038d821ddb6d0e81410675ffaeb11cac9.tar.gz zsh-cddfc3b038d821ddb6d0e81410675ffaeb11cac9.tar.bz2 zsh-cddfc3b038d821ddb6d0e81410675ffaeb11cac9.zip |
style fixes
Diffstat (limited to 'plugins/dirhistory')
-rw-r--r-- | plugins/dirhistory/dirhistory.plugin.zsh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/plugins/dirhistory/dirhistory.plugin.zsh b/plugins/dirhistory/dirhistory.plugin.zsh index a2faa9ee4..0209981e3 100644 --- a/plugins/dirhistory/dirhistory.plugin.zsh +++ b/plugins/dirhistory/dirhistory.plugin.zsh @@ -49,8 +49,7 @@ function push_future() { } # Called by zsh when directory changes -typeset -ga chpwd_functions -chpwd_functions+='chpwd_dirhistory' +chpwd_functions+=(chpwd_dirhistory) function chpwd_dirhistory() { push_past $PWD # If DIRHISTORY_CD is not set... |