chiark / gitweb /
Merge branch 'master' into fairchild
authorMark Wooding <mdw@distorted.org.uk>
Thu, 10 May 2018 15:32:34 +0000 (16:32 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 10 May 2018 15:32:34 +0000 (16:32 +0100)
commit43d64d1d7e5700aedfaf909d89b44501c9717a6a
tree7d1a8f8a124e87bf1a0f6e82116ad97f0edc74e3
parente878c5d21c429487dc5f703e0ce606b5c7c4925f
parent77dbf0e697f41fa43fbe29152510c6fada023809
Merge branch 'master' into fairchild

* master:
  dot/zshrc: Some other tweaks.
  dot/zshrc: Use `hist_ignore_space' instead of the `zshaddhistory' hack.
  dot/bashrc, dot/zshrc: Turn on `!' expansion explicitly.