diff options
| author | Owen Jacobson <owen@grimoire.ca> | 2020-12-22 18:48:08 -0500 |
|---|---|---|
| committer | Owen Jacobson <owen@grimoire.ca> | 2020-12-22 21:04:24 -0500 |
| commit | 9f7d1dd547930efeb80a46cc2abe1f0b5c32a889 (patch) | |
| tree | 38de9b6d3d5ee0a3eb20633989dbdb36ae56c0fe /tools | |
| parent | 7f06bbc3769ce67fe9d3ab5160e0135dc634a842 (diff) | |
Rust rewrite.
The Python version was taking hundreds of millis for a small number of
env vars on my machine - enough that starting a new shell was a bit
itchy. The compiled version, even in debug mode, is ~10x faster.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check | 10 | ||||
| -rwxr-xr-x | tools/check-lint | 10 | ||||
| -rwxr-xr-x | tools/check-style | 10 |
3 files changed, 0 insertions, 30 deletions
diff --git a/tools/check b/tools/check deleted file mode 100755 index 269a23d..0000000 --- a/tools/check +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -e - -cd "$(dirname "$0")/.." - -## tools/check -## -## Run checks on the project, exiting with a zero status if all checks pass. - -tools/check-lint -tools/check-style diff --git a/tools/check-lint b/tools/check-lint deleted file mode 100755 index eaebdf0..0000000 --- a/tools/check-lint +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -e - -cd "$(dirname "$0")/.." - -## tools/check-lint -## -## Run lint checks on the project, exiting with a zero status if there are no lint -## issues. - -exec pylint envdir diff --git a/tools/check-style b/tools/check-style deleted file mode 100755 index adb2499..0000000 --- a/tools/check-style +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -e - -cd "$(dirname "$0")/.." - -## tools/check-style -## -## Run style checks on the project, exiting with a zero status if there are no style -## issues. - -exec black --check --diff envdir |
