debian下设置git的http代理

首先安装corkscrew。

 

sudo apt-get install corkscrew

 

接着，写一个proxy wrapper。

 

#!/bin/bash

#git proxy wrapper

# Put your own values

PROXY_IP=10.0.8.0

PROXY_PORT=8080

corkscrew ${PROXY_IP} ${PROXY_PORT}  $*  /path/to/proxy-auth

 

corkscrew的参数分别为：代理服务器的地址，代理服务器端口，所要代理的网址，认证文件。

认证文件中包含用户名和密码，形式为“user:password”。

将这个wrapper保存到文件proxy-wrapper中。

修改git的默认配置文件，通常是/home/xxx/.gitconfig。

在[core]段添加需要代理的服务器。如：

 

[core]

	gitproxy="/home/XXX/bin/proxy-wrapper" for XXXXX1.org

	gitproxy="/home/XXX/bin/proxy-wrapper" for XXXXX2.com

 

这样就可以了。。。

git还支持ssh和http协议。通过对本机的http代理或者ssh代理进行设置，可以通过这两个协议访问。

我的git配置文件：

 

[user]

	name = xxx

	email = [email protected]

[core]

	editor = vim

	gitproxy="/home/xxx/bin/proxy-wrapper" for gnome.org

	gitproxy="/home/xxx/bin/proxy-wrapper" for github.com

[color]

	status = auto

	branch = auto

	diff = auto

	ui = true

	pager = true

[color "branch"]

	current = yellow reverse

	local = yellow

	remote = green

[color "diff"]

	meta = yellow bold

	frag = magenta bold

	old = red bold

	new = green bold

[color "status"]

	added = yellow

	changed = green

	untracked = cyan

[alias]

	co = checkout

	br = branch

	cm = commit

	st = status