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

User profiles are deleted when visited from another browser #7189

Open
2 tasks done
ahfakt opened this issue Jan 30, 2025 · 7 comments
Open
2 tasks done

User profiles are deleted when visited from another browser #7189

ahfakt opened this issue Jan 30, 2025 · 7 comments
Labels
bug Something isn't working triage This issue needs to be triaged by a maintainer

Comments

@ahfakt
Copy link

ahfakt commented Jan 30, 2025

Is there an existing issue for this?

  • I have searched the existing issues

OS/Web Information

  • Web Browser: Chrome
  • Local OS: Windows
  • Remote OS: RedHat
  • Remote Architecture: amd64
  • code-server --version: 4.96.2

Steps to Reproduce

  1. Create a profile on browser A and switch to it
  2. Open a different browser B
  3. See remote .local/share/code-server/User/profiles folder is empty.

Expected

Do not delete profile data on the remote and sync/init from it when visited from another browser.

Actual

Profiles are getting deleted on each different browser.

Logs

Screenshot/Video

No response

Does this bug reproduce in native VS Code?

I did not test native VS Code

Does this bug reproduce in GitHub Codespaces?

I did not test GitHub Codespaces

Are you accessing code-server over a secure context?

  • I am using a secure context.

Notes

code-server is running in a container with unix socket configuration and accessed over nginx that runs on another container.

@ahfakt ahfakt added bug Something isn't working triage This issue needs to be triaged by a maintainer labels Jan 30, 2025
@bilogic
Copy link
Contributor

bilogic commented Feb 2, 2025

Is the profile stored on the remote server or in the browser's local storage?

@benz0li
Copy link
Contributor

benz0li commented Feb 2, 2025

Cross reference:

@ahfakt
Copy link
Author

ahfakt commented Feb 2, 2025

Is the profile stored on the remote server or in the browser's local storage?

Profile's configuration files (settings.json, extensions.js ...) is on the remote, '~/.local/share/code-server/User/profiles/profileid/'.

@benz0li
Copy link
Contributor

benz0li commented Feb 2, 2025

Profiles are stored in the browser's local storage. Cross reference:

@ahfakt
Copy link
Author

ahfakt commented Feb 2, 2025

It's acceptable to set same configuration on each browser if it would be possible to make them don't overwrite other's configurations.

@michaelr524
Copy link

I am experiencing this issue as well. Can’t use profiles with multiple browsers at the moment.

@code-asher
Copy link
Member

code-asher commented Feb 18, 2025

It sounds like there might be two issues?

  1. Profiles are stored in the browser instead of the server, so they are not shared between browsers, in other words a duplicate of Store state on remote instead of browser #4212.
  2. Profiles in one single browser are overwriting each other in some way? Does this happen in Codespaces? It sounds potentially like an upstream bug, but maybe it is caused by how we have a hybrid of settings on the server and state on the browser.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working triage This issue needs to be triaged by a maintainer
Projects
None yet
Development

No branches or pull requests

5 participants