2022-01-18 15:38:17 +01:00
|
|
|
{
|
2025-07-31 13:45:16 +02:00
|
|
|
"venvPath": "local",
|
|
|
|
|
"venv": "py3",
|
|
|
|
|
"include": [
|
|
|
|
|
"searx",
|
|
|
|
|
"searxng_extra",
|
|
|
|
|
"tests"
|
|
|
|
|
],
|
2025-08-22 17:17:51 +02:00
|
|
|
|
2025-07-31 13:45:16 +02:00
|
|
|
"reportAny" : "information",
|
2025-08-22 17:17:51 +02:00
|
|
|
"reportConstantRedefinition": false,
|
|
|
|
|
"reportIgnoreCommentWithoutRule": "information",
|
|
|
|
|
"reportImplicitOverride": false,
|
2025-07-31 13:45:16 +02:00
|
|
|
"reportImplicitStringConcatenation": false,
|
2025-08-22 17:17:51 +02:00
|
|
|
"reportImportCycles": "warning",
|
|
|
|
|
"reportMissingTypeStubs": "information",
|
2025-07-31 13:45:16 +02:00
|
|
|
"reportUninitializedInstanceVariable": false,
|
|
|
|
|
"reportUnnecessaryIsInstance": false,
|
2025-08-22 17:17:51 +02:00
|
|
|
"reportUnnecessaryTypeIgnoreComment": "error",
|
2025-07-31 13:45:16 +02:00
|
|
|
"reportUnreachable": "information",
|
|
|
|
|
"reportUnusedCallResult": false,
|
2025-08-22 17:17:51 +02:00
|
|
|
|
|
|
|
|
"enableTypeIgnoreComments": true,
|
2025-07-31 13:45:16 +02:00
|
|
|
"executionEnvironments": [
|
|
|
|
|
{
|
|
|
|
|
"root": "searx",
|
|
|
|
|
"extraPaths": ["."]
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"root": "searxng_extra",
|
|
|
|
|
"extraPaths": ["."],
|
|
|
|
|
"reportAny" : false,
|
|
|
|
|
"reportUnknownMemberType": false,
|
|
|
|
|
"reportUnknownVariableType": false
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
"root": "tests",
|
|
|
|
|
"extraPaths": ["."],
|
|
|
|
|
"reportAny" : false,
|
|
|
|
|
"reportImplicitOverride": false,
|
|
|
|
|
"reportMissingParameterType": false,
|
|
|
|
|
"reportMissingTypeArgument": false,
|
|
|
|
|
"reportMissingTypeStubs": false,
|
|
|
|
|
"reportPrivateLocalImportUsage": false,
|
|
|
|
|
"reportPrivateUsage": false,
|
|
|
|
|
"reportUnannotatedClassAttribute": false,
|
|
|
|
|
"reportUnknownArgumentType": false,
|
|
|
|
|
"reportUnknownLambdaType": false,
|
|
|
|
|
"reportUnknownMemberType": false,
|
|
|
|
|
"reportUnknownParameterType": false,
|
|
|
|
|
"reportUnknownVariableType": false,
|
|
|
|
|
"reportUnusedParameter": false
|
|
|
|
|
}
|
|
|
|
|
]
|
2022-01-18 15:38:17 +01:00
|
|
|
}
|