[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