Skip to content

Conversation

mb21
Copy link

@mb21 mb21 commented Dec 26, 2024

No description provided.

@ntrogh
Copy link
Contributor

ntrogh commented Jan 2, 2025

@joaomoreno Can you review this docs PR for vscode.dev?

@ntrogh ntrogh requested a review from joaomoreno January 2, 2025 10:05
@ntrogh ntrogh added the doc-enhancement suggested addition or improvement label Jan 2, 2025
@joaomoreno
Copy link
Member

@mb21 Can you show me exactly what happens if you don't exempt vscode.dev? I just tried it on my machine: I set the Protection Settings to Strict, and vscode.dev still works just fine.

@mb21
Copy link
Author

mb21 commented Jan 23, 2025

@joaomoreno I believe it only fails if your GitHub account isn't linked to vscode.dev yet. So to test it you'd need to remove the 'app' from your GitHub profile. Then the first time it gives the error:

unable to resolve workspace folder (ENOPRO: No file system provider found for resource 'vscode:vfs://....')

See e.g. https://www.reddit.com/r/Floorp/comments/1gbymgr/comment/m3rexzg/?context=3

@mb21
Copy link
Author

mb21 commented Aug 14, 2025

@joaomoreno or anybody wants to merge this?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc-enhancement suggested addition or improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants