<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<br>
<br>
Benjamin C. Pierce wrote:
<blockquote
cite="mid:28E26C50-4C22-4507-8898-F680345612A7@cis.upenn.edu"
type="cite">
<pre wrap="">On Jul 20, 2010, at 4:08 AM, Jerome Vouillon wrote:
</pre>
<blockquote type="cite">
<pre wrap="">Unison should validate the output of fsmonitor.py using both the list
of synchronized paths and the ignore directives, removing paths that
do not corresponds to a file normally synchronized.
</pre>
</blockquote>
<pre wrap=""><!---->
It should be doing (some version of) this already:
</pre>
</blockquote>
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?<br>
</body>
</html>