From 78d461126f0e9f8f302c441a730d9bee94de31ed Mon Sep 17 00:00:00 2001 From: Peter Stephenson Date: Mon, 29 Mar 2010 09:42:29 +0000 Subject: 27843: fix description of extended history format --- ChangeLog | 7 ++++++- Doc/Zsh/options.yo | 2 +- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index aeca52fe1..90eb14ed6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2010-03-29 Peter Stephenson + + * 27843: Simon Ruderich: Doc/Zsh/options.yo: claimed format for + extended history was incorrect. + 2010-03-26 Peter Stephenson * 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()tt(:)var()tt(:)var()'. +`tt(:) var()tt(:)var()tt(;)var()'. ) pindex(HIST_ALLOW_CLOBBER) pindex(NO_HIST_ALLOW_CLOBBER) -- cgit 1.4.1