On Sun, Jan 04, 2009 at 21:59:03 +0100, Matthias Kilian wrote: > Wouldn't it be more sane to *never* touch the default repo by > default, remove that --no-set-default option, and add instead the > opposite (--set-default)? In other words, --no-set-default should > be the default IMHO.
Both options are there. It's just a question of what should be the
right default. If you think it's just you, you could set ALL
no-set-default in your ${HOME}/.darcs/defaults.
If you think this is a matter for all users (and I think would agree
with you if you did), then it is likely a good idea to hold a debate
on this list, making sure to summarise the results on
http://wiki.darcs.net/index.html/DefaultSwitches
I personally am leaning towards your suggestion, that --no-set-default
be the default. I also think that if we were to mess around with the
defaults, we could maybe consider having a big bang changeover of the
default switches in darcs 2.3. See the wiki for other defaults in
contention.
--
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
pgpDJzX3K3Oha.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
