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)
commite3c70a77162e9bf91288f9960b5e3cea76036dc5
tree914b080a273486b14222ad8380935b07b5ef0020
parentc1c7c8e2861422d5fa42b90fc2d4b626e5a453fa
dot/zshrc: Tweak history handling.

Keep shell histories synchronized.  Elide duplicate entries.
dot/zshrc