Fork me on GitHub
#cursive
<
2023-09-07
>
octahedrion08:09:06

why does "Sync files in REPL" say "No files modified" often when they definitely have been ?

cfleming07:09:22

I’m not sure why that would happen. I’ve not seen it, and the only report of it I can find is from 2015. Is there anything unusual about your setup? Are you running on an unusual type of disk or anything like that?

octahedrion14:09:42

nope, all normal setups, but I find myself having to type a space somewhere and try again to make it recognise the change