Skip to content

Create a plugin system#494

Draft
MilesCranmer wants to merge 1 commit intoaviatesk:masterfrom
MilesCranmer:plugins
Draft

Create a plugin system#494
MilesCranmer wants to merge 1 commit intoaviatesk:masterfrom
MilesCranmer:plugins

Conversation

@MilesCranmer
Copy link
Copy Markdown
Contributor

@MilesCranmer MilesCranmer commented Jan 17, 2026

As discussed on slack.

Here is the accompanying BorrowChecker.jl extension, which I have manually tested in VSCode: MilesCranmer/BorrowChecker.jl#42

For example, here is my .vscode/settings.json for this to work:

{
  "jetls-client.executable": [
    "julia",
    "--startup-file=no",
    "--history-file=no",
    "--project=/Users/mcranmer/PermaDocuments/BorrowChecker.jl/worktrees/jetls2/JETLS.jl",
    "-m",
    "JETLS"
  ],
  "jetls-client.settings": {
    "plugins": [
      {
        "name": "BorrowChecker",
        "uuid": "7bdcaa52-c310-4bb0-bf54-d941056ed284",
        "path": "..",
        "enabled": true
      }
    ]
  }
}

@aviatesk aviatesk marked this pull request as draft February 4, 2026 10:02
@haakon-e haakon-e mentioned this pull request Mar 2, 2026
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant