tree f43546b55e493670e069853d24524c366fa1d9b2
parent 7fbb89b14c094791a6950d43290d5d92576e5168
author Todd Wang <toddw@google.com> 1448249193 -0800
committer Todd Wang <toddw@google.com> 1448249193 -0800

jiri: Pass global and ancestor flags to external subcommands.

Updates the cmdline package to automatically pass through flags
set anywhere on the command line to external child commands.

This ensures that commands like "jiri -n go install all" pass the
-n flag through to jiri-go when it is invoked.

Also updated the semantics of setting cmdline.Command.Flags.
Previously if you defined a flag F on a command C, we'd only
allow parsing of F on the command line immediately after C.  Now
we allow F to be specified immediately after C, or after any
descendant of C.  Updated the help documentation accordingly.

Also updated documentation for help -style flag, and renamed the
"short" style to "shortonly" to make its purpose more clear.

And finally, updated the timer label "root" to the command path,
to make it easier to understand the output when -time is passed
through from jiri to its external subcommands.

Fixes https://github.com/vanadium/issues/issues/793

MultiPart: 1/4

Change-Id: I9f6c861d608451b73a676d99910b29cde2978528