diff options
| author | G.raud <graud@gmx.com> | 2018-02-06 19:06:38 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-06 19:53:50 +0100 |
| commit | 641e1e3591569c6fa20630bd91bf9218cad989ce (patch) | |
| tree | 4f87c4a5b3490d119598317581d5899daddc2c2a | |
| parent | b3954575b3a140b2aa1d96facf58c72821d6fc70 (diff) | |
| download | unison-641e1e3591569c6fa20630bd91bf9218cad989ce.zip unison-641e1e3591569c6fa20630bd91bf9218cad989ce.tar.gz unison-641e1e3591569c6fa20630bd91bf9218cad989ce.tar.bz2 | |
Globals: warn that the preference atomic is in effect only for conflicts
| -rw-r--r-- | src/globals.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/globals.ml b/src/globals.ml index 6d70cd9..009339a 100644 --- a/src/globals.ml +++ b/src/globals.ml @@ -261,8 +261,9 @@ let ignorenotPred = let atomic = Pred.create "atomic" ~advanced:true ("This preference specifies paths for directories whose " - ^ "contents will be considered as a group rather than individually. " - ^ "The backups are also made atomically. The option " + ^ "contents will be considered as a group rather than individually when " + ^ "they are both modified. " + ^ "The backups are also made atomically in this case. The option " ^ "\\texttt{backupcurr} however has no effect on atomic directories.") let shouldIgnore p = |