summaryrefslogtreecommitdiff
path: root/roles/tools/templates/ssh_config.j2
blob: f5a621019af028d5f764c38adb7e01446445be85 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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

Host 443.immae.eu
HostName 178.33.252.96
User immae
Port 443