From ca6fa08ffb491f5f41f53544af5ae8bd94f64565 Mon Sep 17 00:00:00 2001
From: alex <alex@pdp7.net>
Date: Sat, 11 Oct 2025 12:53:09 +0200
Subject: [PATCH] Fix ssh_config to use DNS

---
 infrastructure/ssh_config | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infrastructure/ssh_config b/infrastructure/ssh_config
index 069457f..1bd7f14 100644
--- 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
-- 
2.47.3