chiark / gitweb /
~mdw / profile / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b2f6f11 043b866)
Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile
authorMark Wooding <mdw@distorted.org.uk>
Thu, 10 May 2018 15:31:52 +0000 (16:31 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 10 May 2018 15:31:52 +0000 (16:31 +0100)
* 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile:
  dot/zshrc: Some other tweaks.
  dot/zshrc: Use `hist_ignore_space' instead of the `zshaddhistory' hack.
  dot/bashrc, dot/zshrc: Turn on `!' expansion explicitly.


Trivial merge
Dotfiles and other configuration.