chiark / gitweb /
run: add support for executing commands remotely via SSH or in a container