From 15660f27414ef3cb9f17186c85a2a3f60674f310 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/remote_python_packaging.sh b/scripts/remote_python_packaging.sh index f5dd940b0..dedd90fbc 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 $SSHTARGET bash -c "cat >${BUILDDIR}${arch}/exec_docker_run" <<_HERE +ssh -o ServerAliveInterval=30 $SSHTARGET bash -c "cat >${BUILDDIR}${arch}/exec_docker_run" <<_HERE set +x -e shopt -s huponexit cd ${BUILDDIR}${arch}