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 _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
