From 32b587e061ce073677265e51aebc2560d21c5923 Mon Sep 17 00:00:00 2001
From: Mischa ter Smitten <mischa@tersmitten.nl>
Date: Wed, 12 Oct 2016 22:16:52 +0200
Subject: [PATCH] Make use of SSH pipelining

Make sure to read http://docs.ansible.com/ansible/intro_configuration.html#pipelining

I've had no issues with this so far, not on Amazon machines, not on recent Ubuntu and Debian
---
 .infra/Freyfile.hcl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.infra/Freyfile.hcl b/.infra/Freyfile.hcl
index 78914b1..314d03d 100644
--- a/.infra/Freyfile.hcl
+++ b/.infra/Freyfile.hcl
@@ -12,6 +12,9 @@ global {
       host_key_checking = false
       ansible_managed = "Ansible managed"
     }
+    ssh_connection {
+      pipelining = true
+    }
   }
 }