diff options
| author | James Rowe <jnrowe@gmail.com> | 2010-05-09 21:16:33 +0800 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2010-06-05 23:22:57 +0800 |
| commit | edc8e3d092bc758fa9dd4f3472d2c6ec9d03b737 (patch) | |
| tree | 034198d0885914ef2e28cd43a891eb8526a4afd1 /lib/history.zsh | |
| parent | 6774490a467016db70e9ec1ddd1bab6fe37a722a (diff) | |
| download | zsh-edc8e3d092bc758fa9dd4f3472d2c6ec9d03b737.tar.gz zsh-edc8e3d092bc758fa9dd4f3472d2c6ec9d03b737.tar.bz2 zsh-edc8e3d092bc758fa9dd4f3472d2c6ec9d03b737.zip | |
Ignore commands that start with a space.
This is useful when you want to use a dangerous command, as it won't be
available with history searching.
Diffstat (limited to 'lib/history.zsh')
| -rw-r--r-- | lib/history.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index 509be8f09..ca6f57079 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -10,6 +10,7 @@ setopt hist_verify setopt inc_append_history setopt extended_history setopt hist_expire_dups_first +setopt hist_ignore_space setopt SHARE_HISTORY setopt APPEND_HISTORY |