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

Improve the ergonomics of "use" #3985

Open
philrz opened this issue Jul 11, 2022 · 0 comments
Open

Improve the ergonomics of "use" #3985

philrz opened this issue Jul 11, 2022 · 0 comments

Comments

@philrz
Copy link
Contributor

philrz commented Jul 11, 2022

A couple examples have been recently cited where the current behaviors of "use" with a Zed lake may not match well with user expectations/needs. Below is a current list, with more to be added as we encounter them.

  1. @mccanne has noted that instead of the current single/global cached "use" settings in /.zed_head, he sometimes wishes he could have different open shells with different cached "use" settings, e.g., perhaps with settings attached to different working directories.

  2. Issue "zed compact" relies on "use" being set to the compacted pool #3971

Improvements in this area may be something we want to pursue at the same time we're making decisions about #3956.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant