mirror of
https://github.com/ArchiveBox/ArchiveBox.git
synced 2026-01-05 10:26:03 +10:00
35 lines
970 B
JSON
35 lines
970 B
JSON
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"properties": {
|
|
"RIPGREP_BINARY": {
|
|
"type": "string",
|
|
"default": "rg",
|
|
"description": "Path to ripgrep binary"
|
|
},
|
|
"RIPGREP_TIMEOUT": {
|
|
"type": "integer",
|
|
"default": 90,
|
|
"minimum": 5,
|
|
"x-fallback": "TIMEOUT",
|
|
"x-aliases": ["SEARCH_BACKEND_TIMEOUT"],
|
|
"description": "Search timeout in seconds"
|
|
},
|
|
"RIPGREP_ARGS": {
|
|
"type": "array",
|
|
"items": { "type": "string" },
|
|
"default": ["--files-with-matches", "--no-messages", "--ignore-case"],
|
|
"x-aliases": ["RIPGREP_DEFAULT_ARGS"],
|
|
"description": "Default ripgrep arguments"
|
|
},
|
|
"RIPGREP_ARGS_EXTRA": {
|
|
"type": "array",
|
|
"items": { "type": "string" },
|
|
"default": [],
|
|
"x-aliases": ["RIPGREP_EXTRA_ARGS"],
|
|
"description": "Extra arguments to append to ripgrep command"
|
|
}
|
|
}
|
|
}
|