chiark / gitweb /
dot/zshenv, setup: Arrange to run the profile code after SSH.