diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index e6b91be8..6ef137c1 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -179,8 +179,11 @@ script like so. > #!/usr/bin/env bash - exec docker run --rm -v "$(pwd):/data" cytopia/pylint "$@" + exec docker run -i --rm -v "$(pwd):/data" cytopia/pylint "$@" < + +You will run to run Docker commands with `-i` in order to read from stdin. + With the above script in mind, you might configure ALE to lint your Python project with `pylint` by providing the path to the script to execute, and mappings which describe how to between the two file systems in your |