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 /docs | |
| 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 'docs')
| -rw-r--r-- | docs/contributing.md | 4 | ||||
| -rw-r--r-- | docs/contributing/development_tools.md | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/docs/contributing.md b/docs/contributing.md index daabcf055..14af3f6aa 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -42,8 +42,8 @@ Examples of bad PR title: 2. Ensure there is a related issue and it is referenced in the PR text. 3. Ensure there are tests that cover the changes. 4. Ensure `cargo test` passes. -5. Ensure `./tools/format.py` passes without changing files. -6. Ensure `./tools/lint.py` passes. +5. Ensure `./tools/format.js` passes without changing files. +6. Ensure `./tools/lint.js` passes. ## Changes to `third_party` diff --git a/docs/contributing/development_tools.md b/docs/contributing/development_tools.md index db6f9a25a..a11e7beff 100644 --- a/docs/contributing/development_tools.md +++ b/docs/contributing/development_tools.md @@ -23,13 +23,13 @@ cargo test std_tests Lint the code: ```shell -./tools/lint.py +deno run -A --unstable ./tools/lint.js ``` Format the code: ```shell -./tools/format.py +deno run -A --unstable ./tools/format.js ``` ### Profiling |