chiark / gitweb /
dot/shell-rc: If terminal is `dumb' then use vanilla prompts.
[profile] / dot / cgrc
2009-07-18 Mark WoodingGreat reorganization.