diff options
Diffstat (limited to 'hosts/alioth/home/groups/reproducible')
| -rwxr-xr-x | hosts/alioth/home/groups/reproducible/reschedule.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/hosts/alioth/home/groups/reproducible/reschedule.sh b/hosts/alioth/home/groups/reproducible/reschedule.sh index ee6b9c1f..15d0166e 100755 --- a/hosts/alioth/home/groups/reproducible/reschedule.sh +++ b/hosts/alioth/home/groups/reproducible/reschedule.sh @@ -6,4 +6,8 @@ SSH_KNOWN_HOSTS="/home/groups/reproducible/private/ssh_known_hosts" # "dummy" is discarded by the server ssh (jenkins.debian.net in this case) and # it's there because otherwise the client ssh (this) tries to parse the options # for the remote command -LC_USER="$USER" ssh -i "$SSH_KEY" -o GlobalKnownHostsFile="$SSH_KNOWN_HOSTS" jenkins@jenkins.debian.net dummy "$@" + +# separate args with NULL and pass them through stdin to avoid ssh screw up +for arg in "$@" ; do + printf "%s\0" "$arg" +done | LC_USER="$USER" ssh -i "$SSH_KEY" -o GlobalKnownHostsFile="$SSH_KNOWN_HOSTS" jenkins@jenkins.debian.net -- dummy --null |