Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Do not support multiple Workspace Folders #211

Open
OceanBelongsToMe opened this issue Oct 31, 2024 · 2 comments
Open

Do not support multiple Workspace Folders #211

OceanBelongsToMe opened this issue Oct 31, 2024 · 2 comments
Labels
feature-request Request for new features or functionality
Milestone

Comments

@OceanBelongsToMe
Copy link

When there are multiple working spaces, by obtaining the real files through std::fs::read_to_string, it is prompted that the file does not exist.

@dbaeumer
Copy link
Member

dbaeumer commented Nov 1, 2024

When there are multiple workspace folders they are mounted like /workspace/${foldeName}. Have you consider that. If so, can you provide me with a GitHub repository I can clone with a minimal repro case so that I can investigate.

@dbaeumer dbaeumer added the info-needed Issue requires more information from poster label Nov 1, 2024
@OceanBelongsToMe
Copy link
Author

OceanBelongsToMe commented Nov 2, 2024

It's very simple, just make sure that the two workspaces are not in the same directory, for example:

"folders": [
    {
      "path": "/Users/xxxx/Library/Mobile Documents/com~apple~CloudDocs/Papers"
    },
     {
       "path": "../../../../../Documents/workplace/note"
     }
  ],

After looking at the directory mapping code, I am not sure whether it is possible to achieve different levels of workspace mapping by just replacing it.

if (value.startsWith(key)) {
return vscode.Uri.parse(value.replace(key, p2c.get(key) ?? ''));
}

@dbaeumer dbaeumer added feature-request Request for new features or functionality and removed info-needed Issue requires more information from poster labels Nov 4, 2024
@dbaeumer dbaeumer added this to the On Deck milestone Nov 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature-request Request for new features or functionality
Projects
None yet
Development

No branches or pull requests

2 participants