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

vscode-web.md: Add sentence about Firefox #7892

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

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

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