[Unison-hackers] fsmonitor.py & ignore paths on Linux

[Benjamin C. Pierce]

> Oh, nevermind. I guess unison -server gets its ignore list from the server side, not from the client's ignore list.  That's not quite intuitive, since I (myself) am running it only on the client.  Maybe doing -repeat watch should require syncing of .unison/this.prf, or at least warn that it differs?

No, it gets the ignore patterns from the client's profile.  The profile is not read on the server side.

    - Benjamin