[darcs-users] Re: Problem with push

Samuel Tardieu sam at rfc1149.net
Wed Nov 10 11:18:11 UTC 2004

>>>>> "Bene" == dreamer  <Benedikt-Grundmann at web.de> writes:

Bene> How can I use darcs push / pull commands over ssh to a computer
Bene> which is hidden behind another computer.

Try to set your DARCS_SSH environment variable to something like

  ssh -t user at gateway ssh

to use ssh chaining, and then use darcs as you would do if you had a
direct connection.

Samuel Tardieu -- sam at rfc1149.net -- http://www.rfc1149.net/sam

More information about the darcs-users mailing list