Skip to content

add workspace configuration settings and ruleset/ignore file commands - #4

Merged
daveshanley merged 1 commit into
mainfrom
config
May 26, 2026
Merged

add workspace configuration settings and ruleset/ignore file commands#4
daveshanley merged 1 commit into
mainfrom
config

Conversation

@daveshanley

Copy link
Copy Markdown
Member

Add resource-scoped settings (ruleset, ignoreFile, functions, base, remote, skipCheck, timeout, lookupTimeout, hardMode, extensionRefs) and mark executablePath as machine-overridable.

Register Select/Clear commands for the ruleset and ignore file that write paths into workspace settings, storing workspace-relative paths where possible.

Document the new settings and command palette workflow in the README.

Add resource-scoped settings (ruleset, ignoreFile, functions, base, remote, skipCheck, timeout, lookupTimeout, hardMode, extensionRefs) and mark executablePath as machine-overridable.

Register Select/Clear commands for the ruleset and ignore file that write paths into workspace settings, storing workspace-relative paths where possible.

Document the new settings and command palette workflow in the README.
@daveshanley
daveshanley merged commit 29611c5 into main May 26, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant