chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94526c3) | patch
dot/bashrc, dot/zshrc: Do highlighting when `TERM' is `putty...'.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 24 Jan 2019 15:14:45 +0000 (15:14 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 24 Jan 2019 15:14:45 +0000 (15:14 +0000)
commit8a075bd77648bf73909b42db74ef010a07a725f9
treefc225991bba3f32eba8d15df277614041d784d51tree | snapshot
parent94526c3fc940d29e2ff9dce5fc1f7b024f78fcc6commit | diff
dot/bashrc, dot/zshrc: Do highlighting when `TERM' is `putty...'.

This is the `proper' terminal-type family for `pterm', even though it
has some unfortunate behaviour which means that I still prefer
`xterm...' in general.
dot/bashrc diff | blob | blame | history
dot/zshrc diff | blob | blame | history
Dotfiles and other configuration.