chiark / gitweb /
dot/zshrc: Inhibit line editing when terminal is `dumb'.