[darcs-users] ssh path

[Yitzchak Gale]

I wrote:
>> You can also use:
>> session_name:/path/to/repository
>> where "session_name" is a "Saved Session"
>> defined in PuTTY on Windows, or a virtual
>> host name defined in ssh_config on other
>> platforms. This is the preferred way to customize
>> SSH settings, such as the port number, for
>> Darcs.

Jorey Bump wrote:
> ...you should be careful about the terminology you use.

Agreed.

> For example, nobody uses the phrase "virtual host name"
> in this context.

OK.

> The Host keyword can literally match a host name or IP address, be a
> pattern that can match multiple hosts, or be a nickname for a host
> specified with the Hostname parameter in that section.

OK. So how about "host nickname" instead of "virtual host name"?

> The fact that clients implement their own vocabularies is unfortunate,

Yes, but this is not part of the protocol, it is a service provided
by the client. You're right, though, it would be nice if client
authors would talk to each other and standardize their vocabulary.

> but it's a reality worth noting in examples, and an argument for leaving
> in-depth ssh configuration to the user, who should consult the
> documentation of the client being used.

OK. This is not in-depth configuration though. When using darcs,
this is the basic way to control SSH configuration. I didn't realize
that until now. Apparently, a lot of other darcs users also
missed this.

With this brief addition to the darcs docs, people like me will know
in the future where to look in our ssh client docs for further
information.

Note that I was careful to use the term "ssh_config". That way,
people will (hopefully) at least find the man page easily.
After that, they can decide for themselves whether to use
~/.ssh/config or /etc/ssh_config, and exactly what to put there.

Hmm. It is not clear at all from the ssh_config man page
how to do this, without having seen Pekka's example.
Maybe we should say more:

You can also use:

session_name:/path/to/repository

On Windows, "session_name" is the name of a
"Saved Session" defined in PuTTY. On other
platforms, "session_name" is a host nickname
that you can define by adding
something like this to your ssh configuration file:

Host session_name
  HostName example.com
  User user_name
  ...other configuration...

See PuTTY help and the ssh_config(5) man page for more
details. This is the preferred way to customize
SSH settings, such as the port number, for
Darcs.

Thanks,
Yitz