mirror of
https://github.com/tldr-pages/tldr.git
synced 2025-03-28 21:16:20 +01:00
parallel-lint: add page (#3127)
This commit is contained in:
parent
fa924818e8
commit
5968eaa1ed
1 changed files with 28 additions and 0 deletions
28
pages/common/parallel-lint.md
Normal file
28
pages/common/parallel-lint.md
Normal file
|
@ -0,0 +1,28 @@
|
|||
# parallel-lint
|
||||
|
||||
> A tool to check the syntax of PHP files in parallel.
|
||||
> More information: <https://github.com/JakubOnderka/PHP-Parallel-Lint>.
|
||||
|
||||
- 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}}`
|
Loading…
Add table
Reference in a new issue