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

Project-specific settings file #941

Closed
JosephTLyons opened this issue Apr 29, 2022 · 1 comment
Closed

Project-specific settings file #941

JosephTLyons opened this issue Apr 29, 2022 · 1 comment
Labels
enhancement [core label]

Comments

@JosephTLyons
Copy link
Collaborator

JosephTLyons commented Apr 29, 2022

Depending the project, there is quite a bit of noise in some of my file searches. I would like to be able to exclude some directories (virtual environment directories, npm module directories, etc.) from being searched through when using command+p to find a file, to remove as much noise as possible. I'm guessing this implies some sort of project settings? I think it could just be as simple as a hidden json file, that gets committed with your project, that excludes items via patterns:

A small example might be:

{
    "excluded_patterns": [
        "<some-path-prefix-starting-from-project-root>/some_specific_file.py"
        "<some-path-prefix-starting-from-project-root>/some_specific_director/*",
        "*.scss"
    ],
}

Some open-ended questions about this:

  1. When a directory is added to an exclusion list in a project setting file, what all is affected?

    • Does it affect what shows up in the file browser on the left?
    • Does it affect searches?
    • Does it affect searching for files?
    • etc.

    Or are all of those separate project settings?

  2. What other sort of settings might be useful in a project settings file? Or maybe its best to let those surface naturally, over time.


The alternative is to hide and exclude things based on what is .gitignored, but I lean towards it being separate from that, because I can imagine times I'd want to be able to find things that are .gitignored.

@JosephTLyons JosephTLyons added the enhancement [core label] label Apr 29, 2022
@JosephTLyons JosephTLyons changed the title Project settings configuration file Project-specific settings file Apr 29, 2022
@JosephTLyons
Copy link
Collaborator Author

Closing in favor of: https://github.com/zed-industries/feedback/issues/70

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

No branches or pull requests

1 participant