[darcs-users] Re: Re: boring patterns

Manfred Lotz manfred.lotz at web.de
Sat Nov 27 08:14:15 UTC 2004

On Fri, 26 Nov 2004 21:48:40 -0500, Andrew Pimlott wrote:

> On Fri, Nov 26, 2004 at 10:23:58PM +0100, Manfred Lotz wrote:
>> But the initial settings in _darcs/prefs/boring come
>> form the the darcs binary I guess
> Yes, hard-coded in RepoPrefs.lhs.

Thanks for the info.

I'm now writing a darcs wrapper script. After doing a 'darcs initialize'
it looks for a file /usr/local/etc/darcs/boring and if found it is used to
overwrite _darcs/prefs/boring

Using a wrapper script I also can have a _darcs/prefs/execute to care for
the execution bits.


More information about the darcs-users mailing list