diff options
author | Peter Stephenson <pws@zsh.org> | 2018-01-18 09:39:08 +0000 |
---|---|---|
committer | Peter Stephenson <pws@zsh.org> | 2018-01-18 09:39:08 +0000 |
commit | b816291a1796f13737424cd14d2ba174cf840f70 (patch) | |
tree | 9075c1bc7d037e297e0e8e6c55a636bdc1b6caaa /Completion/compinit | |
parent | d8d9fee137a5aa2cf9bf8314b06895bfc2a05518 (diff) | |
download | zsh-b816291a1796f13737424cd14d2ba174cf840f70.tar.gz zsh-b816291a1796f13737424cd14d2ba174cf840f70.tar.xz zsh-b816291a1796f13737424cd14d2ba174cf840f70.zip |
42294: disable REPORTTIME in completion
Diffstat (limited to 'Completion/compinit')
-rw-r--r-- | Completion/compinit | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Completion/compinit b/Completion/compinit index c345ceb43..f0f8421df 100644 --- a/Completion/compinit +++ b/Completion/compinit @@ -175,7 +175,9 @@ typeset -gH _comp_setup='local -A _comp_caller_options; exec </dev/null; trap - ZERR; local -a reply; - local REPLY' + local REPLY; + local REPORTTIME; + unset REPORTTIME' # These can hold names of functions that are to be called before/after all # matches have been generated. |