chiark / gitweb /
dot/shell-rc: Fix bungled prompt hack.
[profile] / dot / zshenv
2017-08-09 Mark Woodingdot/zshenv, setup: Arrange to run the profile code...