[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