家に帰ると朝出社前にportコマンドを実行しておいたptexのインストールが完了していた（プロンプトにタイムスタンプを表示しているようにしているが、それによると13時過ぎに終わっている）。素晴らしい。
OSXvncはJISキーボード対応になったのだけれど、X11のキーボードがJISになっていない。普通ならXFree86のconfigファイルを変更するだけですむのが、OS X用のX11はパス名も独自だし、なにしろXFree86Config-4が存在しない。さんざん探したり調べたが結局解決できずあきらめた。
