Hi all,<br><br>Does anyone know how to specify proxy server and port for darcs to use when it connects to servers? I am behind firewall most of the time and all requests have to go through a proxy.<br><br>Thanks,<br>Ed<br>