From b42879a95377b4b10f12855d831eb58857b60d2e Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Tue, 26 Jul 2022 17:45:49 -0700 Subject: 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 --- ops/ci/shellcheck.nix | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 ops/ci/shellcheck.nix (limited to 'ops/ci/shellcheck.nix') 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}"; - }; -} -- cgit v1.2.3