From d464a898880be099630135479c711beeb119b37e Mon Sep 17 00:00:00 2001
From: June McEnroe <june@causal.agency>
Date: Thu, 16 Aug 2018 14:12:24 -0400
Subject: Shorten .local ssh names

ksh doesn't do sophisticated tab-complete so I have to actually type
ssh hosts now.
---
 home/.ssh/config | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/home/.ssh/config b/home/.ssh/config
index e9a1982a..634f333b 100644
--- a/home/.ssh/config
+++ b/home/.ssh/config
@@ -5,7 +5,8 @@ HashKnownHosts yes
 
 SendEnv NETHACKOPTIONS
 
-Host monday.local thursday.local
+Host monday thursday
+	HostName %h.local
     ForwardAgent yes
     RemoteForward 7062 127.0.0.1:7062
 
-- 
cgit 1.4.1