diff options
Diffstat (limited to 'cluster/prod/ssh_config')
| -rw-r--r-- | cluster/prod/ssh_config | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/cluster/prod/ssh_config b/cluster/prod/ssh_config index 266d77f..cb4841f 100644 --- a/cluster/prod/ssh_config +++ b/cluster/prod/ssh_config @@ -1,10 +1,10 @@ UserKnownHostsFile ./ssh_known_hosts Host concombre - HostName 10.42.1.31 + HostName 2a01:e0a:c:a720::31 Host courgette - HostName 10.42.1.32 + HostName 2a01:e0a:c:a720::32 Host celeri - HostName 10.42.1.33 + HostName 2a01:e0a:c:a720::33 |