본문 바로가기
미디어위키

Manual $wgDjvuDump

by 다움위키 2023. 12. 30.
DjVu: $wgDjvuDump
Path to the djvudump executable.
Introduced in version: 1.10.0 (r21411)
Removed in version: still in use
Allowed values: (filesystem path) or null
Default value: null
Other settings: Alphabetical | By function

Details

djvudump 실행 파일의 경로입니다.

DjVu 파일의 렌더링을 활성화하려면, $wgDjvuRenderer와 $wgDjvuDump 둘 다는 설정되어야 합니다. 대안적으로 $wgDjvuDump 대신 $wgDjvuToXML을 설정할 수 있습니다. (만약 $wgDjvuDump와 $wgDjvuToXML 둘 다가 설정되면, 오직 $wgDjvuDump가 사용됩니다.)

예제:

$wgDjvuDump = "/usr/bin/djvudump";
$wgDjvuRenderer = "/usr/bin/ddjvu";

See also