Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Defaults for options #893
May I suggest a small improvement both of the various documentations and of the help messages provided by stack on the command line. There are many flags/config options of the form --something/--no-something. It would be nice to always indicate which one is the default.
Or in the case when such a choice is dependent of other factors, try to give some explanation.
I think if we mirror the
libProfiling = boolFlags False "library-profiling" "library profiling for TARGETs and all its dependencies" idm
Although this is only on
Combining the help messages for the alternatives is good.
For any case, as you also note, defaults should be made clear.