-
Notifications
You must be signed in to change notification settings - Fork 13.5k
tidy: check for invalid file names #143957
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
base: master
Are you sure you want to change the base?
Conversation
|
There are changes to the cc @jieyouxu |
Just out of curiosity, how long does it take to run this on your machine? |
To run with this PR:
Executed in 4.26 secs fish external
usr time 14.15 secs 3.70 millis 14.15 secs
sys time 5.47 secs 1.12 millis 5.47 secs
without this PR:
Executed in 4.22 secs fish external
usr time 14.35 secs 0.79 millis 14.35 secs
sys time 5.40 secs 1.13 millis 5.40 secs |
Okay, that should be fine. Hopefully it won't be sluggish e.g. on Windows, but I think that tidy does so much I/O anyway that this won't be bad. |
Yeah, since it uses only file names and not even file contents, there is a good chance that the cache is primed already (or that this primes it for other parts of tidy). If it gets r+, maybe rollup=never would make it easier to roll it back in case it is heavier than expected on some platforms. |
I think it will be fine, I realized that it won't even read all the filenames from disk, which I first wrongly assumed, just return the filenames from the internal git DB, that should be fine. The @bors r+ |
Check for file names added to git with:
It only checks files known by git as a developer might want to have "strange" file names alongside their local repository as long as they don't check them in.
r? jieyouxu
as he stumbled upon such a file in #142936