ssh: config: fix faui0sr0 not being matched
This commit is contained in:
parent
ad41a8e06d
commit
888e64e930
1 changed files with 1 additions and 1 deletions
|
|
@ -7,7 +7,7 @@ Host 0?? 0???
|
||||||
HostName faui%h.informatik.uni-erlangen.de
|
HostName faui%h.informatik.uni-erlangen.de
|
||||||
ForwardAgent yes
|
ForwardAgent yes
|
||||||
|
|
||||||
Host faui0? faui0??
|
Host faui0? faui0?? faui0???
|
||||||
HostName %h.informatik.uni-erlangen.de
|
HostName %h.informatik.uni-erlangen.de
|
||||||
ForwardAgent yes
|
ForwardAgent yes
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue