[darcs-devel] [issue1646] distinguish between local prefs and remote prefs in _darcs/prefs
Eric Kow
bugs at darcs.net
Sun Oct 11 07:50:12 UTC 2009
New submission from Eric Kow <kowey at darcs.net>:
I've complained about this several times, yet I can't find a bug to go with it.
A big source of user confusion is that darcs users _darcs/prefs for three very
different things:
remote prefs:
- motd <-- this could also be useful for patch-taggers
- email
local prefs:
- author
- defaultrepo
- defaults
- sources
- boring
- binaries
internal metadata:
- prefs <-- used by setpref
Since we can't do much about the remote prefs and the internal metadata for
reasons of backward compatibility, I propose that we create a separate
_darcs/localprefs directory and check there first. It would mean that old
versions of darcs won't recognise the prefs, but I don't think it's serious
enough of a problem to warrant a format change.
----------
messages: 8951
nosy: darcs-devel, dmitry.kurochkin, kowey
priority: feature
status: need-implementation
title: distinguish between local prefs and remote prefs in _darcs/prefs
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1646>
__________________________________
More information about the darcs-devel
mailing list