On 9/13/06, Eric Y. Kow <[EMAIL PROTECTED]> wrote:
One question for the community: Do we actually want an actual ignore/unignore command, or would an ignore file suffice?
One of the reasons I don't normally use the boring file now is because I don't like the semantics and it always feels like a pain to setup a custom boring file and then to have to keep going in to manage it. I have a feeling that I would use this new mechanism quite a bit more because it's so much easier to use and has the semantics I want. It's not clear to me if darcs should have both boring and ignore/unignore but I can think of times when each is useful but the other doesn't help much.
I would suggest that an ignore file is plenty, and that two extra commands would just be clutter.
ignore/unignore seems very darcsy to me. Just not sure what to make of boring. $0.02, Jason _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
