Thanks, Marius.

 How about the port?  Is it documented somewhere?

Thanks in advance,

Paulo

On 26 maio, 09:23, Marius Mårnes Mathiesen
<[email protected]> wrote:
> On 26. mai. 2009, at 14.14, Paulo Carvalho wrote:
>
> > Should I configure proxy in git?  If so, then how can I set proxy
> > server with git?
>
> Sorry, I didn't realize you're behind a proxy. There are several ways  
> to have Git use a HTTP proxy:
> - By setting the $http_proxy environment variable to the proxy address
> - By using git config http.proxy, either globally or per project
>
> Regards,
> - Marius
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"Gitorious" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/gitorious?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to