TeX Tools for mi の副作用

　OS X Tiger で TeX 文書を作成するにあたり，mi と TeX Tools for mi を使う事にしたのだが，ある時突然，妙な事が起こるようになってしまった．

　TeX Tools for mi は自動的に Terminal のシェルを立ち上げて platex コマンドを実行するが，その際シェルに与えられた設定（ウィンドウの色と透明度や実行するコマンド）がいつのまにか Terminal のディフォルトになってしまったのだ．ウィンドウの色や透明度の設定は Terminal の「ウィンドウ設定」で元に戻す事ができたが，新しいシェルを起動した時に自動実行されるコマンド群の設定が削除できない．つまり，シェルを起動するたびに，とある TeX のソースが一々コンパイルされるという大変馬鹿げた状況が回避できなくなってしまったのだ．

　.bash_profile や .bashrc など，シェルが起動される度に呼ばれるファイルをチェックしてみたが，別段変更された形跡はない．また，Terminal のメニューから設定できる項目をいくら探してもそれらしいものは見当たらない．TeX Tools for mi 側の設定ファイルを削除してみたりもしたが，無駄だった．
　原因が分からないまま，Terminal を起動するたびに platex が実行される間抜けな状況に甘んじる日々が一週間程も続いた頃，ようやく原因が分かった．~/Library/Preferences の下にある Terminal の設定ファイル com.apple.Terminal.plist が，TeX Tools for mi によって書き換えられていたのだ．

　この事は，'*.plist' の中身が defaults というコマンドで編集できるという情報を得た結果，分かった．Terminal で
　　defaults read com.apple.Terminal
を実行すると，com.apple.Terminal.plist に設定されているパラメータが一覧できる．その中に，ExecutionString というキーがあって，そこにシェルを起動した際実行されるコマンドのリストが設定されていたのだ．そこで，
　　defaults delete com.apple.Terminal ExecutionString
を実行して，このキーを削除したところ，問題が解決された．めでたしめでたし．

なお，この問題は mi + Terminal 以外の場合にも発生する模様．例えば ここ．他に，2ch でも同様のトラブルで困った，という投稿有り．

ブックマーク
TeX on Mac OS X：GNU Stow を使って teTeX + pTeX をインストールする手順
このページの存在を知っていれば，TeX のインストールがもっと楽になっていただろう…(涙