chiark / gitweb /
Add extra settings for easier machine switching in the future.