diff options
| author | Wayne Davison <wayned@users.sourceforge.net> | 2006-03-09 18:13:47 +0000 |
|---|---|---|
| committer | Wayne Davison <wayned@users.sourceforge.net> | 2006-03-09 18:13:47 +0000 |
| commit | d74e16312111cc7b6b25cc282f133900ca99ddb8 (patch) | |
| tree | 5aeea7d3a184e75e3c11f5d7a99856d379079c06 | |
| parent | 3d984ffd1e82a71546e0aa7da33b899e1535add0 (diff) | |
| download | zsh-d74e16312111cc7b6b25cc282f133900ca99ddb8.tar.gz zsh-d74e16312111cc7b6b25cc282f133900ca99ddb8.tar.xz zsh-d74e16312111cc7b6b25cc282f133900ca99ddb8.zip | |
Added missing <D> for HIST_SAVE_BY_COPY.
| -rw-r--r-- | Doc/Zsh/options.yo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index ffeca7db9..1d0c7a24f 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -576,7 +576,7 @@ Remove superfluous blanks from each command line being added to the history list. ) pindex(HIST_SAVE_BY_COPY) -item(tt(HIST_SAVE_BY_COPY))( +item(tt(HIST_SAVE_BY_COPY) <D>)( When the history file is re-written, we normally write out a copy of the file named $HISTFILE.new and then rename it over the old one. However, if this option is unset, we instead truncate the old |