diff options
| author | Wayne Davison <wayned@users.sourceforge.net> | 2005-12-27 07:08:52 +0000 |
|---|---|---|
| committer | Wayne Davison <wayned@users.sourceforge.net> | 2005-12-27 07:08:52 +0000 |
| commit | b5f2902241a92b0c4e5c4326163c10126579e6c2 (patch) | |
| tree | 36c392dea1d701220cd890c9a3e1369f369de285 /Doc/Zsh | |
| parent | 13e24831523c6fd586524311e8d26dafc003d223 (diff) | |
| download | zsh-b5f2902241a92b0c4e5c4326163c10126579e6c2.tar.gz zsh-b5f2902241a92b0c4e5c4326163c10126579e6c2.tar.xz zsh-b5f2902241a92b0c4e5c4326163c10126579e6c2.zip | |
A couple more improvements to the HIST_SAVE_BY_COPY section.
Diffstat (limited to 'Doc/Zsh')
| -rw-r--r-- | Doc/Zsh/options.yo | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index fd21e23e4..ffeca7db9 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -583,9 +583,13 @@ However, if this option is unset, we instead truncate the old history file and write out the new version in-place. If one of the history-appending options is enabled, this option only has an affect when the enlarged history file needs to be re-written to trim it -down to size. Disable this only if you have special needs, as this -makes it possible to lose history entries if zsh gets interrupted +down to size. Disable this only if you have special needs, as doing +so makes it possible to lose history entries if zsh gets interrupted during the save. + +When writing out a copy of the history file, zsh preserves the old +file's permissions and group information, but will refuse to write +out a new file if it would change the history file's owner. ) pindex(HIST_SAVE_NO_DUPS) item(tt(HIST_SAVE_NO_DUPS))( |