You need to at least set an HTTP_PROXY
variable environment.
set HTTPS_PROXY=http://<login_internet>:<password_internet>@aproxy:aport
set HTTP_PROXY=http://<login_internet>:<password_internet>@aproxy:aport
Or, for bash session:
export http_proxy=http://<login_internet>:<password_internet>@aproxy:aport
export https_proxy=http://<login_internet>:<password_internet>@aproxy:aport
Make sure %HOME%
(or $HOME) is set to a directory where you did store your .ssh
config
Then, for git commands:
git config --system http.sslcainfo \\bin\\curl-ca-bundle.crt
git config --global http.proxy http://<login_internet>:<password_internet>@aproxy:aport
git config --global user.name <short_username>
git config --global user.email <email>
git config --global github.user <github_username>
git config --global github.token <github_token>
Note: for bash session:
git config --system http.sslcainfo /bin/curl-ca-bundle.crt
To avoid GitHub asking for your password, create a _netrc
file in your HOME
(or a .netrc
for bash session)
machine github.com
login <login_github>
password <password_github>
Update 2012
Note that since git1.7.10 (2012), you can use a credential caching mechanism in order to avoid having to store in plain text your login/password (in a %HOME%/_netrc
file).