[darcs-users] ssh path

David Roundy droundy at darcs.net
Sat Nov 24 20:31:12 UTC 2007


On Sat, Nov 24, 2007 at 03:24:53PM -0500, Jorey Bump wrote:
> 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.

I agree that we should be clear, but I also think that it's worth putting
into the manual some sort of a pointer to this trick (which I wasn't aware
of for openssh).  Perhaps we should just point out that the "hostname"
could be a fake name that the ssh client is configured to accept, with some
explanation of why one would do this.
-- 
David Roundy
Department of Physics
Oregon State University


More information about the darcs-users mailing list