Manual:$wgDjvuPostProcessor
| DjVu: $wgDjvuPostProcessor | |
|---|---|
| DjVu ポスト プロセッサーのパス。 |
|
| 導入されたバージョン: | 1.8.0 (r16036) |
| 除去されたバージョン: | 使用中 |
| 許容される値: | (文字列) |
| 既定値: | 'pnmtojpeg' (1.10+)'ppmtojpeg' (1.8-1.9) |
| その他の設定: アルファベット順 | 機能順 | |
詳細
DjVu ポスト プロセッサーのパスです。
コマンドライン オプションを含めることができます。
$wgDjvuRenderer が生成した出力ファイルが、このプログラムに渡されます。
ddjvu が ppm を出力するようになった時点以降、既定値 'ppmtojpeg' が使用されています。これは、ブラウザーで閲覧するには JPEG に変換する必要があるためです。
ポスト プロセッサーが .jpg ファイル以外の形式で出力する場合は、$wgDjvuOutputExtension も設定する必要があります。
サムネイルをPNGに変更
$wgDjvuPostProcessor = "pnmtopng";
$wgDjvuOutputExtension = "png";