From ad3e959609876331d0a0572f723128a0ac9d9746 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Mon, 6 Mar 2023 20:45:20 +0000 Subject: [PATCH] [auto] Update Settings --- package.json | 42 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) diff --git a/package.json b/package.json index fae9cfe..aeca97a 100644 --- a/package.json +++ b/package.json @@ -43,6 +43,48 @@ }, "sh.commandPath": { "type": "string" + }, + "bashIde.backgroundAnalysisMaxFiles": { + "type": "number", + "default": 500, + "description": "Maximum number of files to analyze in the background. Set to 0 to disable background analysis.", + "minimum": 0 + }, + "bashIde.explainshellEndpoint": { + "type": "string", + "default": "", + "description": "Configure explainshell server endpoint in order to get hover documentation on flags and options." + }, + "bashIde.globPattern": { + "type": "string", + "default": "**/*@(.sh|.inc|.bash|.command)", + "description": "Glob pattern for finding and parsing shell script files in the workspace. Used by the background analysis features across files." + }, + "bashIde.includeAllWorkspaceSymbols": { + "type": "boolean", + "default": false, + "description": "Controls how symbols (e.g. variables and functions) are included and used for completion and documentation. If false (default and recommended), then we only include symbols from sourced files (i.e. using non dynamic statements like 'source file.sh' or '. file.sh'). If true, then all symbols from the workspace are included." + }, + "bashIde.logLevel": { + "type": "string", + "default": "info", + "enum": [ + "debug", + "info", + "warning", + "error" + ], + "description": "Controls the log level of the language server." + }, + "bashIde.shellcheckPath": { + "type": "string", + "default": "shellcheck", + "description": "Controls the executable used for ShellCheck linting information. An empty string will disable linting." + }, + "bashIde.shellcheckArguments": { + "type": "string", + "default": "", + "description": "Additional ShellCheck arguments. Note that we already add the following arguments: --shell, --format, --external-sources." } } },