summaryrefslogtreecommitdiffstats
path: root/hosts
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-07-27 15:52:28 +0200
committerHolger Levsen <holger@layer-acht.org>2015-07-27 15:52:28 +0200
commit411cb84b6c8946b752a2cbb405d546a97978256f (patch)
tree5c48a9c9e6356335a1c606af12e0d5fc14cdbb87 /hosts
parent315ead533e3d4e67ce3908a13ebe5b75ef9060c4 (diff)
downloadjenkins.debian.net-411cb84b6c8946b752a2cbb405d546a97978256f.tar.xz
reproducible: move script to correct hosts directory
Diffstat (limited to 'hosts')
-rwxr-xr-xhosts/alioth/home/groups/reproducible/reschedule.sh9
1 files changed, 9 insertions, 0 deletions
diff --git a/hosts/alioth/home/groups/reproducible/reschedule.sh b/hosts/alioth/home/groups/reproducible/reschedule.sh
new file mode 100755
index 00000000..ee6b9c1f
--- /dev/null
+++ b/hosts/alioth/home/groups/reproducible/reschedule.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+SSH_KEY="/home/groups/reproducible/private/jenkins-key"
+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 "$@"