Skip to content

Commit c204847

Browse files
Rename optional arguments to utility arguments.
The rationale behind this being that all of our arguments are optional. But these are options that deal with the program as a utility (eg, version number) so that's a more fitting name. The old anchor is recreated to aid incoming old links. I have manually verified that the --help looks right.
1 parent dce8e1c commit c204847

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

docs/source/command_line.rst

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -85,8 +85,9 @@ for full details, see :ref:`running-mypy`.
8585

8686
This flag will add everything that matches ``.gitignore`` file(s) to :option:`--exclude`.
8787

88+
.. _optional-arguments:
8889

89-
Optional arguments
90+
Utility arguments
9091
******************
9192

9293
.. option:: -h, --help

mypy/main.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -549,7 +549,7 @@ def add_invertible_flag(
549549
# long and will break up into multiple lines if we include that prefix, so for consistency
550550
# we omit the prefix on all links.)
551551

552-
general_group = parser.add_argument_group(title="Optional arguments")
552+
general_group = parser.add_argument_group(title="Utility arguments")
553553
general_group.add_argument(
554554
"-h", "--help", action="help", help="Show this help message and exit"
555555
)

0 commit comments

Comments
 (0)