diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2012-09-21 12:45:12 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2012-09-21 12:45:12 +0000 |
commit | 8e43f7f3c839429849cb36ea0c84cdc05d40ad1d (patch) | |
tree | 1f08ded2382f2bdc777af70156ce4693a5b65e9d /Doc/Zsh | |
parent | 0c5526bec0c36e7a82c0a04fce1d19847a332f4e (diff) | |
download | zsh-8e43f7f3c839429849cb36ea0c84cdc05d40ad1d.tar.gz zsh-8e43f7f3c839429849cb36ea0c84cdc05d40ad1d.tar.xz zsh-8e43f7f3c839429849cb36ea0c84cdc05d40ad1d.zip |
30687 with typo corrected: don't REPORTTIME if zleactive
Diffstat (limited to 'Doc/Zsh')
-rw-r--r-- | Doc/Zsh/params.yo | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Doc/Zsh/params.yo b/Doc/Zsh/params.yo index 5991921f8..bf9a68ba8 100644 --- a/Doc/Zsh/params.yo +++ b/Doc/Zsh/params.yo @@ -1225,7 +1225,10 @@ vindex(REPORTTIME) item(tt(REPORTTIME))( If nonnegative, commands whose combined user and system execution times (measured in seconds) are greater than this value have timing -statistics printed for them. +statistics printed for them. Output is suppressed for commands +executed within the line editor, including completion; commands +explicitly marked with the tt(time) keyword still cause the summary +to be printed in this case. ) vindex(REPLY) item(tt(REPLY))( |