next up previous
Next: 設定ファイルの構文 Up: Startup16-ja Previous: xgdvi の起動

プリンタ定義の設定方法

xgdvi には独自の印刷システムがあり、 設定ファイルを変更することで、 DVI文書ファイルを印刷するためのコマンド列を設定できます。

設定ファイルは、以下の順序で検索されます。

  1. ~/.PrintSpec (個人の設定)
  2. /usr/local/share/xgdvi/PrintSpec (利用環境に合わせた設定)
  3. /usr/local/share/xgdvi/PrintSpec.default (標準設定)
  4. xgdvi 組み込みの標準設定

注意: 上記に於て、ディレクトリ /usr/local/share/xgdvi/ は、システムによっては違う場合があります。 例えば、/usr/share/xgdvi/ となっている場合もあります。



Subsections

Hirotsugu Kakugawa
2001-11-02