[Dolphin] Should ssh urls be treated as case sensitive?

Development
1

My .ssh/config:

# Private IP on same LAN
Host Strawberry
  HostName 10.0.17.99
  User william
  IdentityFile ~/.ssh/id_ed25519_grapes

# Over VPN
Host STrawberry 100.74.181.85
  HostName 100.74.181.85
  User william
  IdentityFile ~/.ssh/id_ed25519_grapes

The ssh utility differentiates between the two, but ssh:// urls on Dolphin seems to always take the first one. Is this supposed to be the correct behavior?

2

I think the host part of the URL is defined to be case insensitive, so any part of the processing might decide to turn that part into all lower case.

This could have happened before the information gets passed to SSH.

Depending in where this happens this might not be easy to work around.

Probably better to not depend on case sensitivity here

3

Arguable a bug in ssh, host name are not not case sensitive.

4

I think it’s closer to a config definition in ssh rather than a hostname… but I don’t think it’s easy to change this behavior now.

5

I don’t think it’s ssh doing the processing, since ssh strawberry doesn’t resolve to any one of the config entries.

But working around is easy since I can define multiple alias for one config. Thanks for the advice.