-
-
Notifications
You must be signed in to change notification settings - Fork 53
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
How to ignore some directory? #89
Comments
I haven't put much thought into ignoring directories. Is opt/nodebin part of your gitignore? It would be possible to modify kondo so that it respects gitignore when searching. |
Kondo will search recursively down each directory you provide it, so if |
It means no mechanism to tell kondo what directory to ignore? |
Not yet, but it could be added. Do you usually exclude directories by their exact path, or by glob? How many directories do you exclude on average when you run kondo? |
one, it contains all language server installed through npm.
So far, it is path. |
It would be possible to add an ignore argument, would something like this work? Then you wouldn't need to manually list the directories via ls/exa. kondo --ignore-dir opt/nodebin Just curious, do you often do any other kind of filtering/preprocessing before passing the directory list to kondo? |
I run Kondo once a week, and the only directory in |
Do you also use the date filter? |
@azzamsa could you try this branch (https://github.com/tbillington/kondo/tree/ignore-dirs) and see if it handles your use-case ? thank you :) |
I had the same suggestion, and #90 works perfectly! @tbillington |
Okay, thanks @Aziks0 , I'll merge it. Let me know if you have any issue :) |
I'll close this issue for now. |
|
Thanks for confirming @azzamsa :) |
Hi.
I want to ignore some directories because I tend to run
kondo $HOME
.Nothing works.
Any suggestions?
Thanks! ❤️
The text was updated successfully, but these errors were encountered: