diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-07-27 15:52:28 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-07-27 15:52:28 +0200 |
commit | 411cb84b6c8946b752a2cbb405d546a97978256f (patch) | |
tree | 5c48a9c9e6356335a1c606af12e0d5fc14cdbb87 /alioth-scripts | |
parent | 315ead533e3d4e67ce3908a13ebe5b75ef9060c4 (diff) | |
download | jenkins.debian.net-411cb84b6c8946b752a2cbb405d546a97978256f.tar.xz |
reproducible: move script to correct hosts directory
Diffstat (limited to 'alioth-scripts')
-rwxr-xr-x | alioth-scripts/reproducible-reschedule.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/alioth-scripts/reproducible-reschedule.sh b/alioth-scripts/reproducible-reschedule.sh deleted file mode 100755 index ee6b9c1f..00000000 --- a/alioth-scripts/reproducible-reschedule.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/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 "$@" |