2007/11/22, Yitzchak Gale <[EMAIL PROTECTED]>:
> Currently, there is only very limited and buggy
> support in Darcs for SSH through a non-standard port. ...
With ssh, you can use special "host names" for special connections.
For instance, if you had ssh running on port 443 on host
darcs.example, you could have something like
Host de
hostname darcs.example
port 443
in ~/.ssh/config and you could then use
darcs {push,pull,get} de:/path/to/repo
The Host section can be used to set up tunneling, change username, etc.
On windows you can define putty "session" called "de" and use exactly
the same darcs commands as on Unix. The sessions have almost as
versatile options as ~/.ssh/config.
--
Pekka.Pessi mail at nokia.com
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
