From ed5699b50df5d753c767b5b3355b0def238ade4f Mon Sep 17 00:00:00 2001 From: Reid 'arrdem' McKenzie Date: Tue, 30 May 2023 22:22:13 -0600 Subject: [PATCH] Enable selective formatting --- tools/fmt.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/tools/fmt.sh b/tools/fmt.sh index 49b8592..ad7774d 100755 --- a/tools/fmt.sh +++ b/tools/fmt.sh @@ -2,9 +2,7 @@ set -euox pipefail cd "$(git rev-parse --show-toplevel)" -bazel build //tools/... //projects/reqman - -DIRS=(projects tools) +DIRS=("${@:-projects tools}") function brl() { bin="$1" @@ -20,4 +18,4 @@ for d in "${DIRS[@]}"; do brl tools/unify --quote '"' -ir $(realpath "$d") done -brl projects/reqman clean tools/python/requirements.txt +# brl projects/reqman clean tools/python/requirements.txt