diff options
author | Mikhail Shchatko <mikhail.shchatko@mongodb.com> | 2021-04-26 13:06:06 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-04-26 13:28:32 +0000 |
commit | 345406dea07b58217acc6fef713337bde64f1a75 (patch) | |
tree | aeca42bc0306f413f132711ac49a797e6d89b12f /evergreen/lint_shellscripts.sh | |
parent | 6fb420bca5031e4864db1260a490b21cc699a129 (diff) | |
download | mongo-345406dea07b58217acc6fef713337bde64f1a75.tar.gz |
SERVER-55832 Add lint_shellscripts and run shfmt on all .sh files in evergreen
Diffstat (limited to 'evergreen/lint_shellscripts.sh')
-rw-r--r-- | evergreen/lint_shellscripts.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/evergreen/lint_shellscripts.sh b/evergreen/lint_shellscripts.sh new file mode 100644 index 00000000000..23372cf8cdc --- /dev/null +++ b/evergreen/lint_shellscripts.sh @@ -0,0 +1,4 @@ +cd src + +PATH="/opt/shfmt/v3.2.4/bin:$PATH" +./buildscripts/shellscripts-linters.sh |