Git での proxy 越え
新しい環境では proxy の下にいるわけですが, デスクトップみたいに常に proxy の下にいるならともかく, ラップトップみたいにヒョコヒョコ持ち歩いているモバイル端末の場合,繋るたびに proxy の設定をきりかえるのがほんとうに面倒.
local で proxy サーバを上げて, 基本常にそこを参照しておくようにして ifup/down をトリガにして proxy をきりかえる, とかやらないと駄目かなぁ*1. 問題は, proxy の設定はドコでやっているのか, がきちんとわかっていないことですね.PROXY まわりの環境変数だけで良いのか, gconf-editor とかで弄れば(gnome-control-center?), とか.
それはさておき. とり急ぎ Git で proxy を越える必要があったのでとりあえず socat ででっちあげる.
~/bin あたりに git-proxy.sh として以下のファイルを作成. proxy_server と port は適宜設定すること. 京大内からなら proxy.kuins.net, 8080.
#!/bin/sh socat STDIO PROXY:proxy_server:$1:$2,proxyport=port
でもって, これを GIT_PROXY_COMMAND に与えてやる.
$ GIT_PROXY_COMMAND=git-proxy.sh git pull
とか.
うーん. 面倒臭いなぁ...
