平衡点

_ Git での proxy 越え

新しい環境では proxy の下にいるわけですが, デスクトップみたいに常に proxy の下にいるならともかく, ラップトップみたいにヒョコヒョコ持ち歩いているモバイル端末の場合,繋るたびに proxy の設定をきりかえるのがほんとうに面倒.

local で proxy サーバを上げて, 基本常にそこを参照しておくようにして ifup/down をトリガにして proxy をきりかえる, とかやらないと駄目かなぁ((gconf でゴニョゴニョする, というのもアリですが, kde とかの場合も同様の事ができるんですかね. 面倒だなぁ...)). 問題は, 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

とか.

うーん. 面倒臭いなぁ...