diff options
author | Ben Sima <ben@bsima.me> | 2023-08-22 17:15:50 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2023-09-19 20:49:54 -0400 |
commit | ffe3fd8a719be8d02b03bac6bc8232a7bc9fa692 (patch) | |
tree | 64aed59c9c6c22ae607c7379d2667cd71ef8d5d0 /Biz/Ide/repl | |
parent | 2bab1000e2cbac69f3cd7d6c437eb63a63843b57 (diff) |
Lint faster by grouping files by extension
Previously I would lint every file individually, in serial. This took
forever. Now I group the files by extension (by first getting the Namespace) and
run each linter on all relevant files at once. This is so much faster its
stupid.
Also I added formatters back into the dev env because my editor needs them to
autoformat.
Diffstat (limited to 'Biz/Ide/repl')
-rwxr-xr-x | Biz/Ide/repl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Biz/Ide/repl b/Biz/Ide/repl index cf0378d..1d94e47 100755 --- a/Biz/Ide/repl +++ b/Biz/Ide/repl @@ -32,12 +32,12 @@ fi packageSet=$(jq --raw-output '.[].packageSet' <<< $json) BILD="(import ${BIZ_ROOT:?}/Biz/Bild.nix {})" for lib in ${sysdeps[@]}; do - flags+=(--packages "$BILD.private.nixpkgs.${lib}") - flags+=(--packages "$BILD.private.nixpkgs.pkg-config") + flags+=(--packages "$BILD.pkgs.${lib}") + flags+=(--packages "$BILD.pkgs.pkg-config") done case $exts in C) - flags+=(--packages "$BILD.private.nixpkgs.gcc") + flags+=(--packages "$BILD.pkgs.gcc") command="bash" ;; Hs) |