dot/zshrc: Use `hist_ignore_space' instead of the `zshaddhistory' hack.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 2 May 2018 12:43:25 +0000 (13:43 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 8 May 2018 14:15:56 +0000 (15:15 +0100)
commit68d1e406d7389bd4944d2fb57f9eb5b323e1a31b
treef9f28833b2f3846f9136d77d48d2c95025b0e2ab
parentcba93353b8c3eafce56e7012788e6a3c7549b0c6
dot/zshrc: Use `hist_ignore_space' instead of the `zshaddhistory' hack.

I think the behaviour -- retaining the command only for the next line --
is better.
dot/zshrc