chiark / gitweb /
load bash profile using --login when running builds on server