[Unison-hackers] fsmonitor.py & ignore paths on Linux
Benjamin C. Pierce
bcpierce at cis.upenn.edu
Tue Jul 20 06:37:57 EDT 2010
On Jul 20, 2010, at 4:08 AM, Jerome Vouillon wrote:
> 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.
It should be doing (some version of) this already:
let shouldNotIgnore p =
let rec test prefix rest =
if Globals.shouldIgnore prefix then
false
else match (Path.deconstruct rest) with
None -> true
| Some(n,rest') ->
test (Path.child prefix n) rest'
in
test Path.empty (Path.fromString p)
- B
More information about the Unison-hackers
mailing list