chiark / gitweb /
set paths on remote commands