Fix ssh_config to use DNS

diff --git a/infrastructure/ssh_config b/infrastructure/ssh_config
index 069457fa5bb7722b69226562b92d08060b2d151f..1bd7f14b4f53bc0a2b4dabc6dd921e3ef4e04765 100644 (file)
--- a/infrastructure/ssh_config
+++ b/infrastructure/ssh_config
@@ -1,2 +1,3 @@
 Host ñix.es
-     HostName 155.133.26.104
+     # Apparently, openssh does not support punycode :(
+     HostName xn--ix-yja.es