Browse Source

Update README.md

pull/26/head
Fredrik Ekre 1 year ago committed by GitHub
parent
commit
da81dbc606
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 2
      README.md

2
README.md

@ -214,7 +214,7 @@ exec 1>&2 @@ -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
```

Loading…
Cancel
Save