summaryrefslogtreecommitdiff
path: root/test/script/run-vint
diff options
context:
space:
mode:
authorw0rp <devw0rp@gmail.com>2017-12-01 18:06:09 +0000
committerw0rp <devw0rp@gmail.com>2017-12-01 18:06:09 +0000
commit6650c9a901ae35e76754a389ee1ae67b6dfb754f (patch)
tree482ec6da545fe26415e788190ee9d01e3fd7d780 /test/script/run-vint
parent499c1542727c7e79302529f61ffb2bbaecb08b68 (diff)
downloadale-6650c9a901ae35e76754a389ee1ae67b6dfb754f.zip
Break up the rest of the test script code into smaller files
Diffstat (limited to 'test/script/run-vint')
-rwxr-xr-xtest/script/run-vint18
1 files changed, 18 insertions, 0 deletions
diff --git a/test/script/run-vint b/test/script/run-vint
new file mode 100755
index 00000000..e1140307
--- /dev/null
+++ b/test/script/run-vint
@@ -0,0 +1,18 @@
+#!/bin/bash -eu
+
+exit_code=0
+image=w0rp/ale
+docker_flags=(--rm -v "$PWD:/testplugin" -v "$PWD/test:/home" -w /testplugin "$image")
+
+echo '========================================'
+echo 'Running Vint to lint our code'
+echo '========================================'
+echo 'Vint warnings/errors follow:'
+echo
+
+set -o pipefail
+docker run -a stdout "${docker_flags[@]}" vint -s . || exit_code=$?
+set +o pipefail
+echo
+
+exit $exit_code