chiark / gitweb /
dot/shell-rc: If terminal is `dumb' then use vanilla prompts.
[profile] / dot / zshenv
2017-08-09 Mark Woodingdot/zshenv, setup: Arrange to run the profile code...