diff options
Diffstat (limited to 'test/script/run-vint')
| -rwxr-xr-x | test/script/run-vint | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test/script/run-vint b/test/script/run-vint index e1140307..ce42ad41 100755 --- a/test/script/run-vint +++ b/test/script/run-vint @@ -1,8 +1,10 @@ -#!/bin/bash -eu +#!/usr/bin/env bash + +set -e +set -u exit_code=0 -image=w0rp/ale -docker_flags=(--rm -v "$PWD:/testplugin" -v "$PWD/test:/home" -w /testplugin "$image") +docker_flags=(--rm -v "$PWD:/testplugin" -v "$PWD/test:/home" -w /testplugin "$DOCKER_RUN_IMAGE") echo '========================================' echo 'Running Vint to lint our code' |