chiark / gitweb /
dot/*: Major shake-up of shell configuration.