Alexander Dahl
1c2cea1dda
The key difference between these groups is not that one needs a jump host and the other does not, but that all hosts of one group run on machines located in the Netz39 rooms in Magdeburg, while the other group contains only hosts hosted anywhere in the public internet. We'll need this distinction for more things than SSH in the future, e.g. PR !132. (This is also better, because technically there could be a third group requiring a jump host which is not ssh.n39.eu … 😉 ) Acked-by: Stefan Haun <tux@netz39.de> Acked-by: David Kilias <dkdent@netz39.de>
27 lines
570 B
Django/Jinja
27 lines
570 B
Django/Jinja
# {{ ansible_managed }}
|
|
Host ssh.n39.eu
|
|
Hostname ssh.n39.eu
|
|
IdentityFile {{ setup_ssh_key }}
|
|
IdentitiesOnly yes
|
|
User {{ setup_ssh_logname }}
|
|
Port 22
|
|
|
|
{% for host in groups['location_space'] %}
|
|
Host {{ host }}
|
|
Hostname {{ host }}
|
|
IdentityFile {{ setup_ssh_key }}
|
|
IdentitiesOnly yes
|
|
User {{ setup_ssh_logname }}
|
|
ProxyJump ssh.n39.eu
|
|
Port 22
|
|
|
|
{% endfor %}
|
|
{% for host in groups['location_internet'] %}
|
|
Host {{ host }}
|
|
Hostname {{ host }}
|
|
IdentityFile {{ setup_ssh_key }}
|
|
IdentitiesOnly yes
|
|
User {{ setup_ssh_logname }}
|
|
Port 22
|
|
|
|
{% endfor %}
|