Reliable two-way synchronisation is a complex programming challenge. In my experience the proportion of two-way sync tools that actually work reliably, particularly in common (let alone obscure) edge cases, is quite small. Unison is one of the few examples of two-way sync that actually works reliably.
For this reason my latest leo-based project I have used @nosent nodes exclusively. This way, the @nosent leo nodes are the only "source of truth" for generated file content. Of course, @nosent nodes can't be used (smoothly) for projects where there are multiple contributors or where it's unavoidable that non-leo tools will be changing file contents. The reason I bring this up here is I recently created issue #1450 <https://github.com/leo-editor/leo-editor/issues/1450> which concerns what I believe are bug(s) concerning writing of @nosent file nodes. I suspect that my issue is related to yours, at least in part. See the comments in my issue for further info, specifically the bit about where leo was silently failing to write some nodes. Cheers On Monday, December 2, 2019 at 11:31:04 PM UTC+11, gar wrote: > > I am using Leo 6.2-b1-devel, devel branch, build 17a59d4ad2, on > Windows7-x64 with python 3.7 > I am trying to develop html; I made a @clean node and sections for css, > body and etc. > I discovered that occasionally when I save .leo project with ctrl-s @clean > file is not written to the disk, and when I reload it in the browser - it > displays it with old css. > I also check it via opening in notepad by abs path and see that changes > were not applied. > Afterwards changes cannot be saved almost for ever. But sometimes they do. > I cannot say anything more but that it happens relatively often and > happens with @auto node too (first saw editing .js file). > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/7c1ca851-62b6-4423-8174-0282b292d052%40googlegroups.com.
