diff options
| author | Rory Dudley | 2024-02-19 01:04:17 -0700 |
|---|---|---|
| committer | Rory Dudley | 2024-02-19 01:04:17 -0700 |
| commit | 670f3864e08003b89a362f381a12d509611db870 (patch) | |
| tree | 0e2121713562ebf082d4e5f93f354bce331f67a5 /.gitignore | |
| parent | 6cf0f1b12e880f3cd88f013a070406bfb303831a (diff) | |
| download | dwarvish-670f3864e08003b89a362f381a12d509611db870.tar.gz | |
Refresh paths every loop
Implements the path refresh at the start of each REPL loop. On this
commit, it is printing out how long it needed to refresh all the paths
in milliseconds.
Notes
Notes:
This may be an easier solution than using inotify. There is the obvious
downside of a small delay each time we need to print the loop, but the
highest I've seen so far is around 12 milliseconds, which seems
acceptable. Using inotify as an alternative, it adds quite a few more
dependencies, and some overhead in way of a watcher.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions