2010/03/19 (Fri) geditをカスタマイズする。

Windowsではテキストエディタには真魚（まな）を使っていて大分気に入っていた（TexのみWinshellでやっていたけど）のだけど、Ununtuでは動かなかったので他のエディタを探す。ネット上で情報を集めてみたところ、Emacs, Vi, Kate, gedit, Kwriteあたりが主流らしい（参考）。

格好良さそうだったのでEmacsを10分いじってみたが、慣れるのにやたら時間がかかりそうだったので、当面はgeditを使うことにした。タブ表示だし、色も綺麗なのでちょっと真魚（まな）に似ているし。

さて、多くのプログラミング言語ではテキストファイルでコードを書いたあとコンパイルしたり実行したりする作業があるけど、それをターミナルを開かないでエディタ上からできると手間が少なくて楽。そのために、テキストエディタを特定のコマンドを実行するようカスタマイズしておくと便利。geditでは、これは「外部ツール」というプラグインでできるようになる。要するに実行させたいシェルスクリプトを書いて登録しておく、という機能だ。

使い方は、まず「編集」→「設定」→「プラグイン」 から、「外部ツール」にチェックを入れる。そうすると、「ツール」の中に外部ツールというのができるのでそれを選択。新規ボタンを押せば新しいスクリプトを定義することができる。

とりあえずgeditをlatexで使えるようにWinshellで使うようなコマンドを登録しよう。登録するのは、とりあえず次の4つの機能だけ。他はそのうち付け足す。

1. texを回す
2. DVIを表示
3, DVIからPDFを作る
4. PDFを開く

1.
#! /bin/sh
platex $GEDIT_CURRENT_DOCUMENT_PATH


2.
#! /bin/sh
xdvi ${GEDIT_CURRENT_DOCUMENT_PATH%.*}.dvi


3.
#! /bin/sh
dvipdfmx ${GEDIT_CURRENT_DOCUMENT_PATH%.*}

4.
#! /bin/sh
xpdf ${GEDIT_CURRENT_DOCUMENT_PATH%.*}.pdf


* xpdfは事前にインストールしておくのが前提。