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

A way of overriding Zed config folders #21131

Open
1 task done
Igonato opened this issue Nov 24, 2024 · 0 comments
Open
1 task done

A way of overriding Zed config folders #21131

Igonato opened this issue Nov 24, 2024 · 0 comments
Labels
enhancement [core label] setting Feedback for preferences, configuration, etc

Comments

@Igonato
Copy link

Igonato commented Nov 24, 2024

Check for existing issues

  • Completed

Describe the feature

Allow a way of overriding Zed's service dirs. For example, through environment variables:

ZED_CONFIG_DIR=foo/bar zed .

Developer Use Case:

A developer working on Zed can run it with different settings which aren't used by the main editor instance (which can be useful when working on experimental features). No chance of corrupting the main setup. Having separate logs between the instances is useful to avoid confusion.

User Use Case

Allow users run Zed in a portable fashion, storing all configuration files, logs, and other data in their directory of choice (e.g. on a thumb drive). Allow use of Zed in restrictive environments (e.g. can't have executables in AppData)

#13300 is related in a sense that what is asked there can be archived through configuration folder override, but the ergonomics are less than ideal. I think it is good to have both, total settings override and per-project settings tweaks.

@Igonato Igonato added admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue labels Nov 24, 2024
@notpeter notpeter added setting Feedback for preferences, configuration, etc and removed triage Maintainer needs to classify the issue admin read Pending admin review labels Nov 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement [core label] setting Feedback for preferences, configuration, etc
Projects
None yet
Development

No branches or pull requests

2 participants