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 /plugins/github | |
| 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 'plugins/github')
0 files changed, 0 insertions, 0 deletions