add ssh alias hal

2020-07-18 11:29:47 +02:00 · 2020-07-18 11:29:47 +02:00 · 12478b167e
--- a/config/ssh/config
+++ b/config/ssh/config
@ -2,4 +2,7 @@ Host *
  ServerAliveInterval 120

 Host glados
-	HostName 78.47.84.29
+	HostName 78.47.84.29
+
+Host hal
+	HostName 88.99.12.7