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

Cleanup Settings Profiles results in error #159055

Closed
weinand opened this issue Aug 24, 2022 · 0 comments · Fixed by #159089
Closed

Cleanup Settings Profiles results in error #159055

weinand opened this issue Aug 24, 2022 · 0 comments · Fixed by #159089
Assignees
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders user-profiles User profile management verified Verification succeeded
Milestone

Comments

@weinand
Copy link
Contributor

weinand commented Aug 24, 2022

Testing #158809

When running "Developer: Cleanup Settings Profiles" for the first time, I got this error:
CleanShot 2022-08-24 at 14 32 04@2x

If there are no profiles (and therefore the "/home/user/code/.config/Code - Insiders/Users/profiles" file does not exist), I would expect no error or an informative message stating that there is nothing to cleanup.

@sandy081 sandy081 added bug Issue identified by VS Code Team member as probable bug user-profiles User profile management labels Aug 24, 2022
@sandy081 sandy081 added this to the August 2022 milestone Aug 24, 2022
sandy081 added a commit that referenced this issue Aug 24, 2022
sandy081 added a commit that referenced this issue Aug 24, 2022
@vscodenpa vscodenpa added unreleased Patch has not yet been released in VS Code Insiders insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Aug 24, 2022
@rzhao271 rzhao271 added the verified Verification succeeded label Aug 25, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Oct 8, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders user-profiles User profile management verified Verification succeeded
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants