diff --git a/pages/common/parallel-lint.md b/pages/common/parallel-lint.md new file mode 100644 index 000000000..b9f695eff --- /dev/null +++ b/pages/common/parallel-lint.md @@ -0,0 +1,28 @@ +# parallel-lint + +> A tool to check the syntax of PHP files in parallel. +> More information: . + +- Lint a specific directory: + +`parallel-lint {{path/to/directory}}` + +- Lint a directory using the specified number of parallel processes: + +`parallel-lint -j {{processes}} {{path/to/directory}}` + +- Lint a directory, excluding the specified directory: + +`parallel-lint --exclude {{path/to/excluded_directory}} {{path/to/directory}}` + +- Lint a directory of files using a comma-separated list of extension(s): + +`parallel-lint -e {{php,html,phpt}} {{path/to/directory}}` + +- Lint a directory and output the results as JSON: + +`parallel-lint --json {{path/to/directory}}` + +- Lint a directory and show Git Blame results for rows containing errors: + +`parallel-lint --blame {{path/to/directory}}`