MailmanとNamazuの連繋

Mailmanの(pipermailの)作ったHTML化されたメールについて全文検索するには,やはり菊地さんのサイトが詳しい*1
http://mm.tkikuchi.net/NAMAZU-How-To.html How To Namazu
Namazuのインデックスをメールが来たのに合わせて更新するには, scripts/post というスクリプト((メールが来たときにはこれが起動される.aliases でパイプ先に指定される mail/mailmanargv[1] に従ってこれ(ら)を適切な権限で起動するラッパに過ぎない.))の末尾にPythonの組み込みモジュール os の手続き system なり spawn* なりを追加し,mknmzを起動するようにしてやる*2

*1:現在はまだ落ちてるけどGoogleのキャッシュがあるから安心.便利ですね.「Googleのあれはもはや『キャッシュ』を逸脱している」等と批判も出ているようだけど.

*2:私はシェルスクリプトを経由している. mknmz の実行には長ったらしい引数が付くがそれは変更が多そうだし,念のため起動前に10秒間 sleep させている.