ただのにっき

■ 肉充してきた

Wassrで知り合った人たちとしゃぶしゃぶを食べてきました。

というのは前半を省略しすぎで、その前にさんざんオーディションとかアイテム交換会とか。初めての対人オデで超緊張。でも売れっ子プロデューサになっていたおかげで勝てた!

■ オンライン画像編集サイト「Aviary」が相当すごい

今日作られたWassr上の某チャンネルにアイコンがないのが寂しくて、昼休みにネタっぽいのを作ろうと思ったら、職場のマシンにはGIMPをまだ入れてなかった。かといって、めったに使わないGIMPを入れるのも面倒なので、先日どこかで(百式だっけ?)見つけたオンライン画像編集サイト「Aviary」にアクセスしてみた。

画像はペイントツールのPhoenix。Flashアプリだ。例によって絵心はないので作品自体はアレだけど、とにかくまぁ、GIMPの基本機能くらいのものはぜんぜん問題なく使えてしまうのに驚いた。そこそこ性能のあるマシンだったら、これだけで十分だ。こんなのがブラウザの中で動いちゃうんだから、いい時代になったもんだねぇ。

現代的なWebサービスの常として、いちおうソーシャルっぽい機能もあって、共同作業なんかもできるみたい(というかFreeアカウントだと誰でも編集可能になっちゃうのか?)。プロフィールの画像に、Aviary上で作成した画像をそのまま指定できないというのには笑っちゃったけど。

■ Corkscrewでgitのproxy越え(その2)

先日のトライで、「git:～」なリポジトリに関してはアクセスできるようになったが、GitHubではpullなどの操作はsshを経由するので×なことが判明。逃げ道を探す。

環境変数ではなくgit configを使う

まず、proxy経由でのアクセスを指示するのに、環境変数はよくないという指摘をもらったので、正統派のgit configを使って指定する。

git config --global core.gitproxy 'git-proxy for github.com'

core.gitproxyではproxy越え用のコマンドと、それを使うドメインを指定する。普通、proxy指定ではproxyを使わないドメインを除外指定するけど、こっちは使うドメインを指定するのだな。用途からすると正しいかも。

当面あらゆる外部リポジトリはGitHubの予定なので、面倒だから--globalを指定した。これでいろんなプロジェクトで指定して回らなくて済む。別のサービスが増えるようなことになったら、リポジトリごとに指定しよう。

GitHubにproxy経由でsshアクセス

sshを使う場合は通常「git@github.com:USER/REPOS.git」、つまり「github.com:22」へアクセスするのだが*1、HTTP/HTTPSしか通さないproxyのために、ちゃんと「ssh.github.com:443」が用意されている(参考:Access GitHub repositories from work (take that, firewall!).)。

ということで、(「git@github.com:USER/PROJECT.git」というURLをコピペして使えるように)~/.ssh/configにちょっと仕掛けを入れればいい:

Host github.com
HostName ssh.github.com
Port 443
ProxyCommand corkscrew YOUR_PROXY_HOST YOUR_PROXY_PORT %h %p

これでいけるはず:

% git clone git@github.com:tdtds/rubbs.git
Initialized empty Git repository in /home/sho/src/rubbs/.git/
remote: Counting objects: 34, done.
remote: Compressing objects: 100% (34/34), done.
remote: Total 34 (delta 4), reused 0 (delta 0)
Receiving objects: 100% (34/34), 38.41 KiB, done.
Resolving deltas: 100% (4/4), done.
% 

おｋ!