diff options
| -rw-r--r-- | ChangeLog | 7 | ||||
| -rw-r--r-- | Doc/Zsh/options.yo | 2 |
2 files changed, 7 insertions, 2 deletions
@@ -1,3 +1,8 @@ +2010-03-29 Peter Stephenson <pws@csr.com> + + * 27843: Simon Ruderich: Doc/Zsh/options.yo: claimed format for + extended history was incorrect. + 2010-03-26 Peter Stephenson <p.w.stephenson@ntlworld.com> * 27831: Doc/Zsh/expn.yo, Src/input.c, Src/subst.c, Src/utils.c: @@ -12974,5 +12979,5 @@ ***************************************************** * This is used by the shell to define $ZSH_PATCHLEVEL -* $Revision: 1.4946 $ +* $Revision: 1.4947 $ ***************************************************** diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index 003071aab..23989c76b 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -746,7 +746,7 @@ Save each command's beginning timestamp (in seconds since the epoch) and the duration (in seconds) to the history file. The format of this prefixed data is: -`tt(:)var(<beginning time>)tt(:)var(<elapsed seconds>)tt(:)var(<command>)'. +`tt(:) var(<beginning time>)tt(:)var(<elapsed seconds>)tt(;)var(<command>)'. ) pindex(HIST_ALLOW_CLOBBER) pindex(NO_HIST_ALLOW_CLOBBER) |