chiark / gitweb /
dot/shrc: Put working directory into plain-sh prompts.