On Sun, Feb 10, 2008 at 04:39:43PM +0200, David de Beer <[EMAIL PROTECTED]> 
wrote:
> ssh -f -p 22 -D 45000 -l myname myfriends.host.net -N
> 
> this will create a SOCKS5 server on 127.0.0.1:45000

and then use 'socksify darcs' instead of 'darcs' to pull. i think that's
the easiest option.

- VMiklos

Attachment: pgp1ja7DQQOYC.pgp
Description: PGP signature

_______________________________________________
darcs-users mailing list
darcs-users@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to