Eric,
I will not use this functionality myself, I think tand hat the
submitter is using the wrong tool for the job (he wants to use
Unison). Before making a decision, please take into account the
following points:
1. As Zachary pointed out, ignore/unignore are too good command names
to use up for this somewhat exotic functionality. I suggest you
simply have a file _darcs/prefs/ignored_files, and tell the user to
edit it; this is similar to boring. Do not call it just
``ignored'', as we might use this name for ignored patches in the
future.
2. Please make very sure that the set of ignored files is initially
empty (see next point).
3. This functionality is confusing. I haven't read the patch yet, but
I sure hope that there are safeguards that will protect us from bug
reports saying things like ``I modified file so-and-so, darcs what
says nothing changed''. For example, making sure darcs what says
something about modified but ignored files.
4. This functionality is confusing. I haven't read the patch yet, but
I assume that the submitter has included a patch to the manual that
clearly and succintly explains this functionality and how it's
different from boring.
In short, I believe that this functionality could be included even
people are strongly in favour of it, but certainly not in its current
form.
Juliusz
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
