Plugger*1 の設定

PostScript ビューアの gv を新しくしたら、Firefox の plugin の Plugger が gv の呼び出しに失敗するようになり、ブラウザ上で PostScript を読めなくなった。gv のオプションが -safer とか -quiet とかから --safer とか --quiet に変更されていたためのようだ。
ということで、/etc/pluggerrc を修正した。

    repeat swallow(gv) fill: gv --safer --quiet --antialias -geometry +9000+9000 "$file" 2>/dev/null