diff options
Diffstat (limited to 'xci/scripts/vm')
| -rwxr-xr-x | xci/scripts/vm/start-new-vm.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xci/scripts/vm/start-new-vm.sh b/xci/scripts/vm/start-new-vm.sh index 1019ce88..faadb87d 100755 --- a/xci/scripts/vm/start-new-vm.sh +++ b/xci/scripts/vm/start-new-vm.sh @@ -187,6 +187,8 @@ echo "Dropping a minimal .ssh/config file" cat > $HOME/.ssh/config<<EOF Host * StrictHostKeyChecking no +ServerAliveInterval 60 +ServerAliveCountMax 5 IdentityFile ${BASE_PATH}/xci/scripts/vm/id_rsa_for_dib Host *_xci_vm |