Tõivo Leedjärv
Tõivo Leedjärv
You are right, that risk exists but it's not unique to nor introduced by this PR. When doing a copy+delete, there are two such moments. First, when doing the rename...
Unison syncs FinderInfo. So this "hide extension" could be a flag within FinderInfo or somehow related to FinderInfo. Fixing this requires that someone figures out what exactly "hide extension" does...
> It's not clear to me that this PR makes the local sync case behave the same as the remote case, and if there is any remaining behavior difference, what...
I went ahead and dug a little more in the code. With some hacking in the Remote module I got the remote copy code working with local sync and it...
That bigger change is now #572. I will keep this PR still open for a while but if it seems that the other one is The Right Thing to do...
Solution to #254 would probably suffice here as well.
If you don't need to make it configurable then have a look here https://github.com/bcpierce00/unison/blob/master/src/os.ml#L42-L43
I can create a PR if you wish but then it needs testing to see if it meets your expectations and doesn't break any previous expectations. The easiest change is...
You can try it out and see how it works for you. If this helps more people, creating a PR is no issue. After all, it can only be an...