diff options
| author | Egor Tensin <egor@tensin.name> | 2025-09-09 11:12:22 +0200 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2025-09-09 11:12:26 +0200 |
| commit | f7178aedfd35c95c43c6a811775cb51e40ffd925 (patch) | |
| tree | 01b2244c232afd3be8f74f6835bad11029317045 /ansible.cfg | |
| parent | README: update (diff) | |
| download | maintenance-f7178aedfd35c95c43c6a811775cb51e40ffd925.tar.gz maintenance-f7178aedfd35c95c43c6a811775cb51e40ffd925.zip | |
repurpose the repo
It's no longer a stupid, archived Ansible project; I'm gonna use it to
run GitHub Actions to do maintenance on my stuff.
Diffstat (limited to 'ansible.cfg')
| -rw-r--r-- | ansible.cfg | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/ansible.cfg b/ansible.cfg deleted file mode 100644 index ee26434..0000000 --- a/ansible.cfg +++ /dev/null @@ -1,12 +0,0 @@ -[defaults] -# Readable output: -stdout_callback = yaml -stderr_callback = yaml - -[ssh_connection] -# My connections are too flaky: -retries = 2 -# 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 -# Also, forward the SSH agent. -ssh_extra_args = -o ServerAliveInterval=15 -o ServerAliveCountMax=3 -o ForwardAgent=yes -o StrictHostKeyChecking=no |