ssh: enhance HostName-matching

ssh/config

@@ -1,9 +1,21 @@
-Host faui*
+Host 0?? 0???
+	HostName faui%h.informatik.uni-erlangen.de
+
+Host man? man?? big?
+	HostName faui49%h.informatik.uni-erlangen.de
+
+Host faui2hg
+	HostName faui2hg.informatik.uni-erlangen.de
+	User est_tpreisner
+
+Host faui* !faui2hg*
 	HostName %h.informatik.uni-erlangen.de
-	User ty28wuqu
 
 Host ircbox
-	HostName ircbox.informatik.uni-erlangen.de
+	HostName ircbox.cs.fau.de
+	User ty28wuqu
+
+Match Host faui*
 	User ty28wuqu
 
 Host irc