-
Notifications
You must be signed in to change notification settings - Fork 5.9k
Use unique socket per user for managing editor sessions #6278
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
Conversation
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## main #6278 +/- ##
==========================================
+ Coverage 73.56% 73.59% +0.02%
==========================================
Files 31 31
Lines 1861 1863 +2
Branches 399 399
==========================================
+ Hits 1369 1371 +2
Misses 415 415
Partials 77 77
Continue to review full report in Codecov by Sentry.
|
I just realized we forgot to update the patch. Maybe we can add the path the same way we pass down some other custom things like |
Or maybe just an environment variable to make things easy. |
I am throwing up a PR soon with that plus a CLI flag to override. |
Commenting @bilogic: Yes, to avoid misconfigurations such as that reported in #6275 I'd not try to write to I think a good candidate folder for unique user socket data seems to be Being inside each user's home folder, it will be isolated between multiple users, and will be also protected from data loss during container restart (because home folders are mapped to persistent storage). Jupyter Notebook / Lab and various apps write here already their temporary (session) data:
Environment variables are a good idea too (very container-friendly), and they are automatically less persistent (they won't persist against designer's will after system / container crashes like files do). I'm not sure about their isolation between multiple users on the same host though. |
Thank you for the Jupyter example! We changed the socket to be
placed in `--user-data-dir` (`~/.local/share/code-server` by
default) so it is encouraging to see other software has made
similar decisions.
We also added a `--session-socket` flag in case someone needs to
put it elsewhere. Changes will be coming out in the 4.14.1
release today.
|
Also warn if editor session manager socket cannot be created rather than failing.
Fixes #6275