On Sat, Feb 18, 2006 at 11:06:21AM +0100, Raphael Bauduin wrote:
> If I 'darcs remove' the file, the next push to the central repo will
> push that change too, which I don't want...

There is a not yet implemented wish list item about an ignore
list for patches, so that in the pull/push dialogue you can
hit e.g. 'i' and darcs will not ask about that patch again.

You can use a macro or alias for pushing that utilizes the
--match option, with e.g. 'not name "<local>"' and record
the changes as a patch with <local> in its name, or something
similar.

This only works if it is acceptable to record the local
changes in each repo.  If it is not, perhaps it is possible
to use some kind of include in the config file, to have
defaults in a managed config file and from that one include
some config.local that is not managed by darcs but has to be
added in each repo to change the defaults.


-- 
Tommy Pettersson <[EMAIL PROTECTED]>

_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users

Reply via email to