chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e0a801) | patch
Makefile: Zap Zsh's secret `~/.zcompdump' file if `.zshrc' is newer.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 8 Dec 2018 13:09:17 +0000 (13:09 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 8 Dec 2018 13:12:13 +0000 (13:12 +0000)
commit72123a3aa335c15e9349f60d202273f3d38f8ca9
treee1555812baf432cb07dfac1a20a64b3687b74a1btree | snapshot
parent2e0a80121bb8a31e7c8dddbebdbffc6ca755638acommit | diff
Makefile: Zap Zsh's secret `~/.zcompdump' file if `.zshrc' is newer.

Otherwise it can resurrect dead keybindings and other confusing
badness.  It does make a significant difference to Zsh startup speed,
but Zsh will recreate it automatically so it's all good.
Makefile diff | blob | blame | history
Dotfiles and other configuration.