chiark / gitweb /
dot/bashrc, dot/zshrc: Do highlighting when `TERM' is `putty...'.