But yeah, I'm quite sure it could be handled by improving the robustness of plugin's code, without modifying the API.

@codebrainz it would be good if its possible, but I currently can't see how without breaking the plugins existing, more common, use-cases just for this very rare problem. Hence my insistence on details. But also I definitely don't want to re-factor the existing save code so an external solution is good.

assuming it inter-operates alright with Geany's various file saving strategies.

We could probably make the Geany file write code use the fd, but unfortunately neither Glibs g_file_set_contents or GIOs g_file_replace_contents accepts a file descriptor, and nor could they, remember they write to a temp file and rename over the result file, they never write directly to the result file. I guess we just have to accept that there is a slight race condition risk ¯\_(ツ)_/¯


Reply to this email directly or view it on GitHub.