From 888e64e9309be0f4016dd33d95effa8ff87ff504 Mon Sep 17 00:00:00 2001
From: Thomas Preisner <mail@tpreisner.de>
Date: Mon, 4 Jun 2018 18:37:55 +0200
Subject: [PATCH] ssh: config: fix faui0sr0 not being matched

---
 ssh/config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ssh/config b/ssh/config
index 755e032..fa27404 100644
--- a/ssh/config
+++ b/ssh/config
@@ -7,7 +7,7 @@ Host 0?? 0???
 	HostName faui%h.informatik.uni-erlangen.de
 	ForwardAgent yes
 
-Host faui0? faui0??
+Host faui0? faui0?? faui0???
 	HostName %h.informatik.uni-erlangen.de
 	ForwardAgent yes