Skip to content

feat: workspace folders #3 - #377

Merged
AntoineGS merged 13 commits into
zbirenbaum:masterfrom
AntoineGS:workspaceFolders
Mar 21, 2025
Merged

feat: workspace folders #3#377
AntoineGS merged 13 commits into
zbirenbaum:masterfrom
AntoineGS:workspaceFolders

Conversation

@AntoineGS

@AntoineGS AntoineGS commented Mar 15, 2025

Copy link
Copy Markdown
Collaborator

(Based off the same branch as the other two PRs, 372 and 373)
Adds support for workspaces, from the update README:

workspace_folders

Workspace folders improve Copilot's suggestions.
By default, the root_dir is used as a wokspace_folder.

Additional folders can be added through the configuration as such:

workspace_folders = {
  "/home/user/gits",
  "/home/user/projects",
}

They can also be added runtime, using the command :Copilot workspace add [folderpath] where [folderpath] is the workspace folder.

Fixes #375

language server now expects to be run directly through language-server.js
@AntoineGS

Copy link
Copy Markdown
Collaborator Author

Upon further testing I seem to have introduced an issue with the attach/detach system, I will look into it!

@AntoineGS
AntoineGS force-pushed the workspaceFolders branch 2 times, most recently from 3c8879b to 3faa952 Compare March 16, 2025 02:23
@AntoineGS

Copy link
Copy Markdown
Collaborator Author

Ok I figured it out, explanation here, looking much better now!

@AntoineGS
AntoineGS marked this pull request as ready for review March 16, 2025 02:29
@AntoineGS AntoineGS changed the title Workspace folders feat: workspace folders #3 Mar 18, 2025
@AntoineGS
AntoineGS merged commit e41c376 into zbirenbaum:master Mar 21, 2025
@AntoineGS
AntoineGS deleted the workspaceFolders branch March 21, 2025 00:20
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.

Support for Workspaces

1 participant