|  | 
 | 
Created on 2007-05-07.22:47:50 by trentbuck, last changed 2009-08-27.13:52:13 by admin. 
 
  
   | msg1677 (view) | Author: twb | Date: 2007-05-07.22:47:42 |  |  
   | I darcs got this[1] repo.  Without thinking, I added entries to
_darcs/prefs/boring; they had no effect, presumably because ./.boring
is an explicit boringfile.
This is confusing; perhaps getting a repo with an explicit boringfile
should not create _darcs/prefs/boring.
[1] http://common-lisp.net/project/fetter/darcs/verrazano
-- 
Trent Buck, Student Errant |  
   | msg1840 (view) | Author: kowey | Date: 2007-07-16.11:02:16 |  |  
   | I'm not sure I'm keen on this idea, because whoever implements this will have to
be a bit careful, for example, to make sure that we re-generate a boringfile if
we ever remove the boringfile pref. |  
   | msg2298 (view) | Author: markstos | Date: 2008-01-01.16:58:58 |  |  
   | I suggest a "wont-fix" resolution for this. 
While I agree it is confusing, it is also fairly normal to have a system of a
override files, and the documentation about "boring" files is already clear
about what's happening:
http://darcs.net/manual/node5.html#SECTION00510040000000000000 |  |
 
| Date | User | Action | Args |  | 2007-05-07 22:47:50 | trentbuck | create |  |  | 2007-07-16 11:02:23 | kowey | set | status: unread -> unknown topic:
  + ProbablyEasy
 title: _darcs/prefs/boring exists with explicit boringfile -> remove _darcs/prefs/boring if explicit boringfile exists
 messages:
  + msg1840
 nosy:
  droundy, tommy, beschmi, kowey, trentbuck
 |  | 2008-01-01 16:58:59 | markstos | set | nosy:
  + markstos messages:
  + msg2298
 |  | 2008-01-05 15:06:05 | droundy | set | status: unknown -> wont-fix |  | 2009-08-06 17:40:15 | admin | set | nosy:
  + jast, Serware, dmitry.kurochkin, darcs-devel, zooko, dagit, mornfall, simon, thorkilnaur, - droundy, trentbuck |  | 2009-08-06 20:37:22 | admin | set | nosy:
  - beschmi |  | 2009-08-10 22:03:58 | admin | set | nosy:
  + trentbuck, - darcs-devel, zooko, jast, dagit, Serware, mornfall |  | 2009-08-25 17:53:49 | admin | set | nosy:
  + darcs-devel, - simon |  | 2009-08-27 13:52:13 | admin | set | nosy:
  tommy, kowey, markstos, darcs-devel, trentbuck, thorkilnaur, dmitry.kurochkin | 
 |