chiark / gitweb /
dot/zshrc: Tweak history handling.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 8 Aug 2017 00:50:58 +0000 (01:50 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 8 Aug 2017 01:00:25 +0000 (02:00 +0100)
Keep shell histories synchronized.  Elide duplicate entries.


No differences found