chiark / gitweb /
Infra: ssh-wrap: set PERLLIB and get name of script right