New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

zsh/config.zsh INC_APPEND_HISTORY and SHARE_HISTORY #283

Open

CNG opened this issue Apr 30, 2017 · 1 comment

CNG commented Apr 30, 2017

The lines https://github.com/holman/dotfiles/blob/master/zsh/config.zsh#L18 and https://github.com/holman/dotfiles/blob/master/zsh/config.zsh#L26 seem to specify incompatible options. The second line also repeats SHARE_HISTORY.

From The Z Shell Manual:

SHARE_HISTORY <K>

This option both imports new commands from the history file, and also causes your typed commands to be appended to the history file (the latter is like specifying INC_APPEND_HISTORY, which should be turned off if this option is in effect).

The text was updated successfully, but these errors were encountered:

Author

CNG commented Apr 30, 2017

I think APPEND_HISTORY is also redundant if INC_APPEND_HISTORY is set.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment