Commit: 3dca760d500a2bc244a6dd5fc6daed9dba35fe91
Parent: b3cb45c49aac5959e911806d057b4f5068c9d997
Author: Rivera Calzadillas
Date: Fri, 3 Nov 2023 18:36:43 -0600
README: Add an example of using `/dev/stdin`
Also emphasize the need for r/w from stdin/stdout.
Diffstat:
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/README.md b/README.md
@@ -36,10 +36,12 @@ Additional tools for fixing and linting can be added as follows:
local lint = require("plugins/vis-lint")
table.insert(lint.linters["python"], "pylint --from-stdin stdin_from_vis")
+ table.insert(lint.linters["python"], "mypy /dev/stdin")
-Note: any added tools must read/write from `stdin`/`stdout`. Some
-programs, like the above example, may need some non standard flags. You
-can also try using `-` or `/dev/stdin` as the input parameter.
+#### Tools must read from `stdin` and output to `stdout`!
+
+Some programs, like the above examples, may need some non standard flags.
+You can also try using `-` or `/dev/stdin` as the input parameter.
### Overriding The Defaults