aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2021-10-11 13:52:54 +0300
committerEgor Tensin <Egor.Tensin@gmail.com>2021-10-11 13:52:54 +0300
commit93e00a6a4ebc9007babf255cf70d3fc081d505b9 (patch)
tree0ea24bbf04d2165e7404df03a58ebde47601ca80
parentapt: run apt-get update (diff)
downloadmaintenance-93e00a6a4ebc9007babf255cf70d3fc081d505b9.tar.gz
maintenance-93e00a6a4ebc9007babf255cf70d3fc081d505b9.zip
inventory: set ServerAlive* ssh variables
-rw-r--r--inventory.ini3
1 files changed, 3 insertions, 0 deletions
diff --git a/inventory.ini b/inventory.ini
index 963f451..fe27a85 100644
--- a/inventory.ini
+++ b/inventory.ini
@@ -12,3 +12,6 @@ vpn ansible_host=192.168.205.254 ansible_port=80 ansible_user=algo
[all:vars]
ansible_user=egor
+# I cannot believe ServerAlive* are not set by Ansible by default:
+# https://docs.ansible.com/ansible/latest/reference_appendices/faq.html#how-do-i-get-ansible-to-notice-a-dead-target-in-a-timely-manner
+ansible_ssh_extra_args=-o ServerAliveInterval=15 -o ServerAliveCountMax=3