端末を開くたびに字が小さいのはかなわん！ どうにも端末のGUIからそういう設定ができなくて、しょうがなく/usr/binにスクリプトを置いた。 保存するっていうか…。 #!/bin/sh gnome-terminal --geometry=80x46 --zoom=1.5

こっちにも書いたけど、Tracに限った話でもなさそうだし、記事一覧に出なくて見失いそうなので、改めて別記事にしておく。ここではhonzaさんのvim2pygmentsを使って、気に入っているVimのカラースキームを追加してみた。 vim2pygments.tar.gzのダウンロード…