| 12345678910111213141516171819202122232425262728293031323334 |
- {
- "$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"
- }
- }
- }
|
