Document caveats of match_prev_cmd strategy #163

Merged
merged 1 commit into from May 28, 2016

2 participants

@tsdh

This strategy relies on the history being exactly in the order in which
commands have been entered. Therefore, options like suppressing
duplicates or expiring duplicates first will lead to unexpected
suggestions.

@ericfreese
zsh-users member

Thanks for this. Small thing but can you run 'make' and add the resulting change to your commit?

@tsdh tsdh Document caveats of match_prev_cmd strategy
This strategy relies on the history being exactly in the order in which
commands have been entered.  Therefore, options like suppressing
duplicates or expiring duplicates first will lead to unexpected
suggestions.
ca70612
@tsdh

Yes, of course. Done!

@ericfreese ericfreese merged commit 85ea943 into zsh-users:develop May 28, 2016
@ericfreese
zsh-users member

👍

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