chiark / gitweb /
dot/infokey: Configure the standalone Info reader a bit.
[profile] / dot / shell-rc
2017-08-08 Mark Woodingdot/shell-rc: Get user name from id(1) if it's not...
2017-08-08 Mark Woodingdot/bashrc, dot/shell-rc: Set TMPDIR as common per...
2017-08-05 Mark Woodingdot/*: Major shake-up of shell configuration.