-
Notifications
You must be signed in to change notification settings - Fork 113
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
ghcid on WSL doesn't get file change notification on drvfs #121
Comments
Probably an issue for fsnotify. Ghcid does have a polling mode but it’s not exposed - a command line flag would be easy to add. |
I added a flag |
This now works out of the box on Windows 10 17751, so if anyone else is looking at this issue and want to set up a |
When launching
ghcid
in WSL for a project located on/mnt/c/
somewhere, file change notification doesn't work at all. This is confirmed even withghcid-0.6.8
and Windows insider build 15063.WSL claims to have
inotify
support (see here) for drvfs. I'm not sure whether this should be a WSL issue,fsnotify
issue orghcid
issue, so I'm opening an issue here for now, feel free to close it if not relevant.Is it possible to add a polling mode instead of notification?
stack
supports rebuilding on change, and has notification/polling mode. This shall be a viable workaround for this issue.The text was updated successfully, but these errors were encountered: