diff options
| author | Eric Huss <eric@huss.org> | 2022-09-23 19:02:59 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2022-09-23 19:02:59 -0700 |
| commit | f5f69bc0bbb1ac4e7c5e3a295392786bea80b22d (patch) | |
| tree | 31d743a69314a41d6d061fe62e952085a872d08c | |
| parent | 9a963e3bade50f48a58c14ab5e82646005654b59 (diff) | |
| download | rust-f5f69bc0bbb1ac4e7c5e3a295392786bea80b22d.tar.gz rust-f5f69bc0bbb1ac4e7c5e3a295392786bea80b22d.zip | |
Document some missing command-line arguments
| -rw-r--r-- | src/doc/rustc/src/command-line-arguments.md | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/doc/rustc/src/command-line-arguments.md b/src/doc/rustc/src/command-line-arguments.md index f05ff3f1b6b..79cdfb82e41 100644 --- a/src/doc/rustc/src/command-line-arguments.md +++ b/src/doc/rustc/src/command-line-arguments.md @@ -270,6 +270,11 @@ This flag will set which lints should be set to the [warn level](lints/levels.md _Note:_ The order of these lint level arguments is taken into account, see [lint level via compiler flag](lints/levels.md#via-compiler-flag) for more information. +<a id="option-force-warn"></a> +## `--force-warn`: force a lint to warn + +This flag sets the given lint to the [forced warn level](lints/levels.md#force-warn) and the level cannot be overridden, even ignoring the [lint caps](lints/levels.md#capping-lints). + <a id="option-a-allow"></a> ## `-A`: set lint allowed @@ -381,6 +386,12 @@ are: - `always` — Always use colors. - `never` — Never colorize output. +<a id="option-diagnostic-width"></a> +## `--diagnostic-width`: specify the terminal width for diagnostics + +This flag takes a number that specifies the width of the terminal in characters. +Formatting of diagnostics will take the width into consideration to make them better fit on the screen. + <a id="option-remap-path-prefix"></a> ## `--remap-path-prefix`: remap source names in output |