diff options
author | Peter Stephenson <pws@users.sourceforge.net> | 2010-03-29 09:42:29 +0000 |
---|---|---|
committer | Peter Stephenson <pws@users.sourceforge.net> | 2010-03-29 09:42:29 +0000 |
commit | 78d461126f0e9f8f302c441a730d9bee94de31ed (patch) | |
tree | 5cc0de33c5f48cd82cc408b8464f37f650654019 | |
parent | 815cc9fc0d8b6af3674eb9ea7971c1a5ce79b77e (diff) | |
download | zsh-78d461126f0e9f8f302c441a730d9bee94de31ed.tar.gz zsh-78d461126f0e9f8f302c441a730d9bee94de31ed.tar.xz zsh-78d461126f0e9f8f302c441a730d9bee94de31ed.zip |
27843: fix description of extended history format
-rw-r--r-- | ChangeLog | 7 | ||||
-rw-r--r-- | 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 <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) |