From 8b78e12b36edb19db97fd1b02557fee1507d00b7 Mon Sep 17 00:00:00 2001 From: link2xt Date: Sun, 23 May 2021 13:10:24 +0300 Subject: [PATCH] Set ServerAliveInterval to ping SSH server every 30 seconds Otherwise connection may be dropped if there is no output for some time. --- scripts/remote_python_packaging.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/remote_python_packaging.sh b/scripts/remote_python_packaging.sh index dedd90fbc..bbd86941f 100755 --- a/scripts/remote_python_packaging.sh +++ b/scripts/remote_python_packaging.sh @@ -29,7 +29,7 @@ set +x for arch in "" "-arm64"; do -ssh -o ServerAliveInterval=30 $SSHTARGET bash -c "cat >${BUILDDIR}${arch}/exec_docker_run" <<_HERE +ssh $SSHTARGET bash -c "cat >${BUILDDIR}${arch}/exec_docker_run" <<_HERE set +x -e shopt -s huponexit cd ${BUILDDIR}${arch} @@ -48,10 +48,10 @@ done echo "--- Running $CIRCLE_JOB remotely" echo "--- Building aarch64 wheels" -ssh -t $SSHTARGET bash "$BUILDDIR-arm64/exec_docker_run" +ssh -o ServerAliveInterval=30 -t $SSHTARGET bash "$BUILDDIR-arm64/exec_docker_run" echo "--- Building x86_64 wheels" -ssh -t $SSHTARGET bash "$BUILDDIR/exec_docker_run" +ssh -o ServerAliveInterval=30 -t $SSHTARGET bash "$BUILDDIR/exec_docker_run" mkdir -p workspace