From 7a381a6fe6f017260bc3c1fb6487d2b4047dd1ec Mon Sep 17 00:00:00 2001 From: Mattia Rizzolo Date: Mon, 4 May 2015 18:14:46 +0200 Subject: add the alioth.d.o rescheduling script for the reproducible team and document it in the README --- alioth-scripts/reproducible-reschedule.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 alioth-scripts/reproducible-reschedule.sh (limited to 'alioth-scripts') diff --git a/alioth-scripts/reproducible-reschedule.sh b/alioth-scripts/reproducible-reschedule.sh new file mode 100755 index 00000000..ee6b9c1f --- /dev/null +++ b/alioth-scripts/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 "$@" -- cgit v1.2.3-70-g09d2