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