From 8e1d95fa7f82e5cc861fa772e91d5662346bf57f Mon Sep 17 00:00:00 2001
From: Christoph Haas <christoph.haas@performance-media.de>
Date: Wed, 14 Aug 2019 15:30:24 +0200
Subject: [PATCH] Added pipelining

---
 ansible/ansible.cfg | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ansible/ansible.cfg b/ansible/ansible.cfg
index 423b554..2aa4e9b 100644
--- a/ansible/ansible.cfg
+++ b/ansible/ansible.cfg
@@ -24,3 +24,7 @@ log_path = ./log
 
 # Path to roles
 roles_path = ansible/roles
+
+[ssh_connection]
+# Speed improvement, but may break sudo with requiretty
+pipelining = True