darcs

Issue 452 remove _darcs/prefs/boring if explicit boringfile exists

Title remove _darcs/prefs/boring if explicit boringfile exists
Priority wishlist Status wont-fix
Milestone Resolved in
Superseder Nosy List darcs-devel, dmitry.kurochkin, kowey, markstos, thorkilnaur, tommy, trentbuck
Assigned To
Topics ProbablyEasy

Created on 2007-05-07.22:47:50 by trentbuck, last changed 2009-08-27.13:52:13 by admin.

Messages
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
History
Date User Action Args
2007-05-07 22:47:50trentbuckcreate
2007-07-16 11:02:23koweysetstatus: 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:59markstossetnosy: + markstos
messages: + msg2298
2008-01-05 15:06:05droundysetstatus: unknown -> wont-fix
2009-08-06 17:40:15adminsetnosy: + jast, Serware, dmitry.kurochkin, darcs-devel, zooko, dagit, mornfall, simon, thorkilnaur, - droundy, trentbuck
2009-08-06 20:37:22adminsetnosy: - beschmi
2009-08-10 22:03:58adminsetnosy: + trentbuck, - darcs-devel, zooko, jast, dagit, Serware, mornfall
2009-08-25 17:53:49adminsetnosy: + darcs-devel, - simon
2009-08-27 13:52:13adminsetnosy: tommy, kowey, markstos, darcs-devel, trentbuck, thorkilnaur, dmitry.kurochkin