Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
unsuppress the help for --log-file #1316
One might argue that it's confusing to have 2 options showing with a similar name, but IMO it's more confusing to hide one of them, especially given that the one that's hidden, controls the log that is active by default.
fwiw, I considered a PR awhile back that would have aliased these two, but was concerned about backward compatibility, so didn't move forward with it.