summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorOwen Jacobson <owen@grimoire.ca>2020-12-22 18:48:08 -0500
committerOwen Jacobson <owen@grimoire.ca>2020-12-22 21:04:24 -0500
commit9f7d1dd547930efeb80a46cc2abe1f0b5c32a889 (patch)
tree38de9b6d3d5ee0a3eb20633989dbdb36ae56c0fe /tools
parent7f06bbc3769ce67fe9d3ab5160e0135dc634a842 (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-xtools/check10
-rwxr-xr-xtools/check-lint10
-rwxr-xr-xtools/check-style10
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