Configure polling rate?

[Moelf]

Related to #598 but instead of manually revise, can we configure polling rate?

[timholy]

https://docs.julialang.org/en/v1/stdlib/FileWatching/

That's where the defaults are defined. I guess Revise could have an internal variable to override it, but what's the actual problem you're trying to solve?

[Moelf]

there are some time a huge delay (10+s) between file change and Revise actually check & re-compile the changes

[timholy]

Given that the docs say

The interval_s should be a long period; the default is 5.007 seconds.

do you actually know that setting it smaller won't hurt something? Why not edit your local copy of Revise to use a shorter interval and see what happens?

Revise.jl/src/packagedef.jl

Line 65 in 7baa73d

polling_files[] ? poll_file(file) : watch_file(file)

If nothing visibly gets bad with a shorter interval, then we could define a Revise variable to make this configurable. But I'm certainly not going to submit a PR to add this if it might result in a lot of people bringing multi-user servers to their knees.