chiark / gitweb /
9481a1e2d51dbe0273be77fe47b8d979aa4dc2b4
[dgit.git] / ssh
1 #!/bin/sh
2 set -e
3 cd /
4 userhost="$1"; shift
5 exec sh -c "$*"