roles/tools/templates/ssh_config.j2

   1 Host *
   2 CheckHostIP no
   3 {% if "graphical_vt" not in features.get(profile, []) %}
   4 ProxyCommand sh -c 'gpg-connect-agent updatestartuptty /bye >/dev/null && nc "$0" "$1"' %h %p
   5 {% endif %}
   6
   7 Host gitolite
   8 HostName git.immae.eu
   9 User gitolite
  10
  11 Host immae.eu
  12 HostName immae.eu
  13 User immae
  14
  15 Host 443.immae.eu
  16 HostName 178.33.252.96
  17 User immae
  18 Port 443