chiark / gitweb /
set PATH