Support Custom Addons Path for Enhanced Editor Flexibility #3155
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This pull request enables users to specify a custom addons path for 3rd-party libraries, addressing the current limitation where only the VSCode-addons path is used.
Highlights:
files.updateAddonsPath
to let users update theaddonsPath
if it has not been configured already.fs.exists
after expanding it viautil.expandPath
.Currently the configuration
Lua.addonRepositoryPath
has a higher priority, but if it's not set, it won't affect the addon manager in vscode.Example:
/tmp
so a folder/tmp/LLS-addons
will be created with all the submodules.penlight
) in a project, config.luarc.json
like this: