diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-25 16:08:35 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-25 16:08:35 +0100 |
| commit | 59e21ecb524b130fcf78a5cad9aab4049e753910 (patch) | |
| tree | 1d9bf15e6c8376c03e6866c6d5b6f112995b6334 /bin | |
| parent | 5c8a7052f25db9d75a91627aa36b629a0c8afc5d (diff) | |
| download | builder-59e21ecb524b130fcf78a5cad9aab4049e753910.tar.xz | |
bin/slave-build-connect: keep log of (valid) ssh commands
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/slave-build-connect | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/slave-build-connect b/bin/slave-build-connect index a3fdc5d..ff8beac 100755 --- a/bin/slave-build-connect +++ b/bin/slave-build-connect @@ -15,6 +15,9 @@ if [ "${SSH_ORIGINAL_COMMAND%% *}" = "get-assignment" ] || \ fi + printf '%s %s' "$1" "${SSH_ORIGINAL_COMMAND}" >> \ + "${work_dir}/ssh-log" + slave="$1" /bin/sh -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}" else |