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

Debugging a remote resolver extension with a temp profile doesn't work #167581

Closed
joyceerhl opened this issue Nov 29, 2022 · 2 comments
Closed

Debugging a remote resolver extension with a temp profile doesn't work #167581

joyceerhl opened this issue Nov 29, 2022 · 2 comments
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s) user-profiles User profile management

Comments

@joyceerhl
Copy link
Contributor

Testing #167140

  1. Debug the codespaces extension from inside a GitHub codespace, launching a window in the extension development host which is on the remote
  2. βœ… temp profile is applied
  3. πŸ› codespaces extension is reported as not installed in the extension development host even though the extension is under development

image

@joyceerhl joyceerhl changed the title Debugging a remote resolver extension doesn't work Debugging a remote resolver extension with a temp profile doesn't work Nov 29, 2022
@sandy081 sandy081 added the user-profiles User profile management label Dec 1, 2022
@sandy081
Copy link
Member

sandy081 commented Dec 1, 2022

/duplicate

#165247

@VSCodeTriageBot VSCodeTriageBot added the *duplicate Issue identified as a duplicate of another issue(s) label Dec 1, 2022
@VSCodeTriageBot
Copy link
Collaborator

Thanks for creating this issue! We figured it's covering the same as another one we already have. Thus, we closed this one as a duplicate. You can search for similar existing issues. See also our issue reporting guidelines.

Happy Coding!

@VSCodeTriageBot VSCodeTriageBot closed this as not planned Won't fix, can't repro, duplicate, stale Dec 1, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Jan 15, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
*duplicate Issue identified as a duplicate of another issue(s) user-profiles User profile management
Projects
None yet
Development

No branches or pull requests

3 participants