Consolidate project linting into tool scripts.

The new `tools/check-lint` script checks lints across _all_ lintable files - JS (through `eslint`), and Rust (through `clippy` and `cargo check`). It also checks `eslint` against the whole project, not just against what's in the `ui` subdir, which means it now catches lintable issues in various JS config files.

This was originally part of [another proposal][pr-6]. I've broken it out to make the intent clearer, and to make the proposal easier to get a handle on in isolation from other, related changes. Thanks to @wlonk for their input on this!

[pr-6]: https://codeberg.org/ojacobson/pilcrow/pulls/6

Merges prop/lint-checks into main.

2 files changed, 22 insertions, 0 deletions

diff --git a/tools/check-lint b/tools/check-lint
new file mode 100755
index 0000000..ab7fdd3
--- /dev/null
+++ b/tools/check-lint
@@ -0,0 +1,11 @@
+#!/bin/bash -e
+
+## tools/check-lint
+##
+## Detects lintable mistakes and stylistic problems.
+
+cd "$(dirname "$0")/.."
+
+npx eslint
+cargo check
+cargo clippy
diff --git a/tools/delint b/tools/delint
new file mode 100755
index 0000000..132841b
--- /dev/null
+++ b/tools/delint
@@ -0,0 +1,11 @@
+#!/bin/bash -e
+
+## tools/delint
+##
+## Automatically fixes lintable mistakes and stylistic problems, where possible.
+
+cd "$(dirname "$0")/.."
+
+npx eslint --fix
+cargo fix
+cargo clippy --fix