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.

Sign up for GitHub

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

Jump to bottom

✨ Exclude files and folders from being watched #1462

Open
austincondiff opened this issue Oct 27, 2023 · 2 comments · Fixed by #1507
Open

✨ Exclude files and folders from being watched #1462

austincondiff opened this issue Oct 27, 2023 · 2 comments · Fixed by #1507
Assignees
@EstebanBorai
Labels
enhancement New feature or request glob

Comments

@austincondiff
Copy link
Collaborator

austincondiff commented Oct 27, 2023 •
edited
Loading

Description

We should allow users to specify files and folders to exclude from being watched by using glob patterns. Commonly folders should be added to this list by default such as node_modules.

Screenshots

image
@austincondiff austincondiff added the enhancement New feature or request label Oct 27, 2023
@github-actions github-actions bot added the needs refinement This issue is not complete and has to be refined by the maintainers label Oct 27, 2023
@austincondiff austincondiff removed the needs refinement This issue is not complete and has to be refined by the maintainers label Oct 27, 2023
@austincondiff austincondiff moved this from 🆕 New to 📋 Todo in CodeEdit Project Oct 27, 2023
@austincondiff austincondiff mentioned this issue Dec 4, 2023
Open
@EstebanBorai EstebanBorai self-assigned this Dec 9, 2023
@EstebanBorai EstebanBorai linked a pull request Mar 10, 2024 that will close this issue
feat(settings): section with glob pattern crud #1507
Merged
6 tasks
@EstebanBorai
Copy link
Member

@austincondiff I think we can close this now?

@austincondiff
Copy link
Collaborator Author

We have file exclusion from search, but this issue is for files to be excluded from being watched.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@EstebanBorai EstebanBorai

Labels
enhancement New feature or request glob
Projects
CodeEdit Project
Status: 📋 Todo
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat(settings): section with glob pattern crud EstebanBorai/CodeEdit
2 participants
@austincondiff @EstebanBorai