Re: [fossil-users] How to unset global settings in local settings without the global taking precedence?

2014-04-18 Thread Stephan Beal
On Fri, Apr 18, 2014 at 11:01 AM, Tony Papadimitriou to...@acm.org wrote: I have a global ignore-glob that applies to most fossil repos. But, on occasion, I need to have an empty ignore-glob list for a specific repository. If I unset the local setting, then the global setting kicks in.

Re: [fossil-users] How to unset global settings in local settings without the global taking precedence?

2014-04-18 Thread Andy Goth
This being Unix, there are a million ways to do things. Just for the sake of curiosity, here are 0.0004% more of the possibilities. I only bring this up because I know several of my coworkers don't know about these tricks, so I imagine some others out there might not either. On 4/18/2014 4:17

Re: [fossil-users] How to unset global settings in local settings without the global taking precedence?

2014-04-18 Thread Ron Wilson
On Fri, Apr 18, 2014 at 11:51 AM, Andy Goth andrew.m.g...@gmail.com wrote: which is a no-op (does nothing, successfully): Being in the world of bare silicon, this gave me a chuckle. does nothing, successfully has a side effect, therefore actually does something. Specifically, it declares