ref(ci): delete custom scripts for formatting

Since I have configured the pre-commit hooks, I can use them instead of
my custom scripts: less things to maintain and easier to read output.

Change-Id: Ic833ec88ed9fbcbe52b1b1680f978da3a5a08b31
Reviewed-on: https://cl.fcuny.net/c/world/+/681
Tested-by: CI
Reviewed-by: Franck Cuny <franck@fcuny.net>

1 files changed, 0 insertions, 24 deletions

diff --git a/ops/ci/shellcheck.nix b/ops/ci/shellcheck.nix
deleted file mode 100644
index c862a87..0000000
--- a/ops/ci/shellcheck.nix
+++ /dev/null
@@ -1,24 +0,0 @@
-{ pkgs, ... }: rec {
-  mkShellCheckScript = src:
-    let
-      script = pkgs.writeScript "shellcheck" ''
-        EXIT_STATUS=0
-        while IFS= read -r -d ''' i
-        do
-          if ${pkgs.shellcheck}/bin/shellcheck -x "$i"
-          then
-            echo "$i [ PASSED ]"
-          else
-            echo "$i [ FAILED ]"
-            EXIT_STATUS=$(($EXIT_STATUS+1))
-          fi
-        done <  <(find -name '*.sh' -print0)
-        echo Total Failed Files: $EXIT_STATUS
-        exit "$EXIT_STATUS"
-      '';
-    in
-    {
-      type = "app";
-      program = "${script}";
-    };
-}