Add scripts

Author: smoelius

scripts/clippy.sh

@@ -0,0 +1,22 @@
+#! /bin/bash
+
+# set -x
+set -euo pipefail
+
+if [[ $# -ne 0 ]]; then
+    echo "$0: expect no arguments" >&2
+    exit 1
+fi
+
+SCRIPTS="$(dirname "$(realpath "$0")")"
+WORKSPACE="$(realpath "$SCRIPTS"/..)"
+
+cd "$WORKSPACE"
+
+for X in lints/*; do
+    pushd "$X"
+    cargo clippy --workspace --tests -- \
+        -D warnings \
+        -W clippy::pedantic
+    popd
+done

scripts/update_dependencies.sh

@@ -0,0 +1,22 @@
+#! /bin/bash
+
+# set -x
+set -euo pipefail
+
+if [[ $# -ne 0 ]]; then
+    echo "$0: expect no arguments" >&2
+    exit 1
+fi
+
+SCRIPTS="$(dirname "$(realpath "$0")")"
+WORKSPACE="$(realpath "$SCRIPTS"/..)"
+
+cd "$WORKSPACE"
+
+for X in $(find . -name Cargo.lock); do
+    pushd "$(dirname "$X")"
+    rm -f Cargo.lock
+    cargo build --workspace --tests
+    cargo upgrade --workspace --to-lockfile --offline
+    popd
+done

scripts/upgrade_lints.sh

@@ -0,0 +1,18 @@
+#! /bin/bash
+
+# set -x
+set -euo pipefail
+
+if [[ $# -ne 0 ]]; then
+    echo "$0: expect no arguments" >&2
+    exit 1
+fi
+
+SCRIPTS="$(dirname "$(realpath "$0")")"
+WORKSPACE="$(realpath "$SCRIPTS"/..)"
+
+cd "$WORKSPACE"
+
+for X in lints/*; do
+    cargo dylint --upgrade "$X"
+done