#222135 ssh: be case-insensitive to addresses in ssh_config

Package:
openssh-client
Source:
openssh
Description:
secure shell (SSH) client, for secure access to remote machines
Submitter:
Dan Jacobson
Date:
2010-01-04 12:33:20 UTC
Severity:
minor
#222135#5
Date:
2003-11-22 19:32:33 UTC
From:
To:
In man ssh_config:
     (note that keywords are case-insensitive and arguments are
     case-sensitive)

This causes
Host a.b.c
   Port 23456

not to apply when the user types
$ ssh a.B.c

however, to the DNS, the names are the same, I recall. So by default,
you should also be case insensitive.

The special case of being case sensitive could be made into an option,
off by default.