From ffe3fd8a719be8d02b03bac6bc8232a7bc9fa692 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Tue, 22 Aug 2023 17:15:50 -0400 Subject: 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. --- Biz/Ide/repl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Biz/Ide') 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) -- cgit v1.2.3