From 5968eaa1edfb93c6df58deacb758ccdbe5374c26 Mon Sep 17 00:00:00 2001 From: Owen Voke Date: Tue, 25 Jun 2019 16:35:51 +0100 Subject: [PATCH] parallel-lint: add page (#3127) --- pages/common/parallel-lint.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 pages/common/parallel-lint.md 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}}`