From da81dbc606942ed1d9d340002177ff3ad2632773 Mon Sep 17 00:00:00 2001 From: Fredrik Ekre Date: Fri, 26 Jul 2024 13:19:58 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c6ee030..9d01d34 100644 --- a/README.md +++ b/README.md @@ -214,7 +214,7 @@ exec 1>&2 # Run Runic on added and modified files mapfile -t files < <(git diff-index --name-only --diff-filter=AM master | grep '\.jl$') -if [ ! -z "${files}" ]; then +if [ ${#files[@]} -gt 0 ]; then julia --project=@runic -m Runic --check --diff "${files[@]}" fi ```