Skip to content

feat: workspace folders #3#377

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

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

Conversation

@AntoineGS
Copy link
Copy Markdown
Collaborator

@AntoineGS AntoineGS commented Mar 15, 2025

(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