chiark / gitweb /
dot/shell-rc: Throw `~/bin/' into the PATH if it's not there.
[profile] / dot / shell-rc
2017-09-20 Mark Woodingdot/shell-rc: Throw `~/bin/' into the PATH if it's...
2017-09-20 Mark Woodingdot/shell-rc: Sink finding temporary directory.
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.