[darcs-users] ssh path

Jorey Bump list at joreybump.com
Sat Nov 24 20:24:53 UTC 2007


Yitzchak Gale wrote, at 11/24/2007 02:24 PM:
> Pekka Pessi wrote:
>>> On windows you can define putty "session" called "de" and use exactly
>>> the same darcs commands as on Unix.

[snip]

> I would add something like
> 
> 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.

While it may be helpful to provide examples, this is basic ssh 
configuration, and you should be careful about the terminology you use. 
For example, nobody uses the phrase "virtual host name" in this context. 
  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.

The fact that clients implement their own vocabularies is unfortunate, 
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.


More information about the darcs-users mailing list