Re: path = not supporting *
Sebastian Schleussner <[email protected]> Fri, 19 Jul 2024 08:14:29 -0700 (PDT)
| Newsgroups | gmane.network.unison.general |
|---|---|
| Message-ID | <[email protected]> |
Thanks, Greg. TBH, iff a decision to implement something new is made, I would still lean to the 1st (new setting – "consider", "path2", "pathw" or whatever): * Consistency: Otherwise someone new to Unison could easily get a misleading mental model of the syntax if they experienced that "path = some/files.txt" works, then getting confused about getting an error for "ignore = something/else". * Consider the legacy/beginner case "path = Path to the lake/Designs". A keyword-optional Unison would happily parse that as a PathSpec "to the lake/Designs" without sensing any reason to issue a warning. ;) /Sebastian On Friday 19 July 2024 at 15:18:18 UTC+2 Greg Troxel wrote: Thanks for your analysis -- I find it is very helpful. So we conclude that unison is functioning as documented. And that perhaps, we could so one of 1) introduce a Path2 = that takes a PathSpec instead of a literal path. 2) add the keyword to Path. Because of your point that Path = Path would be ambiguous, make it a warning if there isn't one of the keywords, a space, and something more. Make sure that one of keywords matches exactly the current semantics. I sort of lean to the 2nd, but I am not sure it would be an overall win for users in terms of coping cost for many vs benefit for a few. And even if we decide it would be good, someone who cares would have to prepare a PR (that updates code, docs, tests, and is clean/rebased). > Personally, I am quite happy with the 'reason-ability' of a list of > "ignore"s and "ignorenot"s. Personally, I organize my files into dirs that I want to sync (~/shared/foo, for various foo), and do not try to sync my homedir. So all of this path stuff bothers me zero. I won't be working on it, and am speaking above as maintainer where I try to balance what's good for the entire set of users. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].