repo で proxyを乗り越える

repo で proxyを乗り越える 今、会社でAndroid ビルド用のPCを立ち上げようとしております。 Ubuntu でやるのが一番簡単だと思いますが、会社では 1. proxy の壁がある 2. 一応 RHELを使え、ということになっている まずは、 1. のproxy設定からやってみた。 RHELのメニューから「システム -> 設定 -> ネットワークのプロキシ」と選んで設定。 「マニュアルでプロキシの設定を行う」にサーバー名とポート番号を記入。 「全てのプロトコルで同じプロキシを使う」にチェックを入れる。 これで、アプリのインストールがしやすくなった。Firefoxも問題なし。 さっそく、Android Open Source Project を見ながら、repo を取ってこようとするものの、 $ curl https://dl-ssl.google.com/dl/googlesource/git-repo/repo > ~/bin/repo とするも Couldn't resolve host 'dl-ssl.google.com' とエラーになる。 コマンドライン用に、別にproxy の設定がいるらしい。 とりあえず、 export http_proxy="your.proxy.server.co.jp:8080" export https_proxy="your.proxy.server.co.jp:8080" で環境変数追加したら、curlが動くようになりました。 repoはとりあえず /usr/local/bin/ に置いた。 この状態で、`git clone http://` や `git clone https://` は使えるが、 `git://` プロトコルが動かない。 検索していたら、corkscrew というのを使えばよいらしい。 [http://www.agroman.net/corkscrew/](http://www.agroman.net/corkscrew/) から tarballを取ってきて、`./configure && make && make install`。 さらに、`/usr/local/bin/git-proxy` というファイルを作って、以下のように記載。 #!/bin/sh your.proxy.server.co.jp 8080 $1 $2 さらに、環境変数として以下を設定。 export GIT_PROXY_COMMAND=git-proxy これで `git://` プロトコルも動くようになりました。 無事 `repo init` と `repo sync` で Android のソースコードが取れるようになった。