1 files changed, 13 insertions, 0 deletions

diff --git a/roles/tools/templates/ssh_config.j2 b/roles/tools/templates/ssh_config.j2
new file mode 100644
index 0000000..63cfe81
--- /dev/null
+++ b/roles/tools/templates/ssh_config.j2
@@ -0,0 +1,13 @@
+Host *
+CheckHostIP no
+{% if "graphical_vt" not in features.get(profile, []) %}
+ProxyCommand sh -c 'gpg-connect-agent updatestartuptty /bye >/dev/null && nc "$0" "$1"' %h %p
+{% endif %}
+
+Host gitolite
+HostName git.immae.eu
+User gitolite
+
+Host immae.eu
+HostName immae.eu
+User immae