diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-05 15:53:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 15:53:21 +0100 |
| commit | 791119d4af1066b20fa2b5bf8fc82d04d843d51d (patch) | |
| tree | 94890756f4380fb2c1d8abd92af66128533a1535 /tools/README.md | |
| parent | e7cfd90b0f72874aa1535a382df32dce28bd587a (diff) | |
build: rewrite tools/ scripts to deno (#8247)
This commit rewrites scripts in "tools/" directory
to use Deno instead of Python. In return it allows
to remove huge number of Python packages in "third_party/".
Diffstat (limited to 'tools/README.md')
| -rw-r--r-- | tools/README.md | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tools/README.md b/tools/README.md index be5b5394d..dff70e9e8 100644 --- a/tools/README.md +++ b/tools/README.md @@ -2,24 +2,24 @@ Documentation for various tooling in support of Deno development. -## format.py +## format.js -This script will format the code (currently using dprint, yapf and rustfmt). It -is a prerequisite to run this before code check in. +This script will format the code (currently using dprint, rustfmt). It is a +prerequisite to run this before code check in. To run formatting: ```sh -./tools/format.py +deno run -A --unstable ./tools/format.js ``` ## lint.py -This script will lint the code base (currently using eslint, pylint and clippy). -It is a prerequisite to run this before code check in. +This script will lint the code base (currently using dlint, clippy). It is a +prerequisite to run this before code check in. To run linting: ```sh -./tools/lint.py +deno run -A --unstable ./tools/lint.js ``` |