[darcs-devel] [issue1550] general purpose command line parsing library (CmdArgs)

Eric Kow bugs at darcs.net
Thu Oct 1 16:03:44 UTC 2009


Eric Kow <kowey at darcs.net> added the comment:

Another desired feature:

- ability to distinguish between layers of user defaults and overrides (eg.
command line flags trump _darcs/prefs/defaults which in turn trump
$HOME/.darcs/defaults)

This may not be entirely relevant, but we'd have to study the code to make sure
that we still preserve this property

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1550>
__________________________________


More information about the darcs-devel mailing list