获取Android源码时如何解决【fatal: Unable to look up android.git.kernel.org (port 9418) (Name or service not known)】的问题
背景：
在Linux环境下(虚拟机为 VirtualBox)获取Android源代码的时候，
使用命令：repo init -u git://android.git.kernel.org/platform/manifest.git 时提示下列错误：
fatal: Unable to look up android.git.kernel.org (port 9418) (Name or service not known)
机器以及软件环境：
公司内网+代理+VirtualBox+Linux
发生问题的原因：
用一句话来概括就是联网出现问题，因为仅仅在网络设定里面设定代理还不够，我们需要用某种fanqiang工具来实现代理的操作。
根据以上原因重新整理出步骤：
1、安装所需软件：
sudo apt-get install git-core curl
2、设置工具repo的存放目录并将其加入环境变量内：
mkdir ~/bin
PATH=~/bin:$PATH
3、下载repo的脚本并将其模式改为可执行：
curl http://android.git.kernel.org/repo > ~/bin/repo
chmod a+x ~/bin/repo
4、创建下载源代码的目录
mkdir ~/source
cd ~/source
5、开始repo操作
repo init -u git://android.git.kernel.org/platform/manifest.git
如果是在正常网路不用代理的情况下一般repo都会成功。
但由于公司特殊的网络环境，导致在repo的时候发生fatal: Unable to look up android.git.kernel.org (port 9418) (Name or service not known)的问题。
这个时候可继续以下的步骤能解决这个问题：
-------------------------------------------------------------------------
1、安装corkscrew
sudo apt-get install corkscrew
2、在任意目录建立任意文件
例如： ~/bin/proxy-hoge-user.sh
添加如下内容并保存：
2 CORKSCREW=`which corkscrew`
3 $CORKSCREW proxy.hoge.com 8080 $1 $2 ~/bin/user-pwd
其中：
proxy.hoge.com为代理的服务器，
8080为代理的端口，
~/bin/user-pwd为存放代理的用户名和密码的文件。
需要根据自己的情况进行设定。
3、新建存放代理的用户名和密码的文件
~/bin/user-pwd
格式为
<username>:<password>
例如 user：pwd
4、改文件属性
chmod 755 ~/bin/proxy-hoge-user.sh
chmod 600 ~/bin/user-pwd
5、添加环境变量GIT_PROXY_COMMAND
sudo vi ~/.bashrc
添加如下命令：
export GIT_PROXY_COMMAND=~/bin/proxy-hoge-user.sh
保存退出。
source ~/.bashrc
-------------------------------------------------------------------------
这样然后重新再source目录下进行repo操作就能成功了。
