Merge "Use gerrit repo name when moving documentation"
diff --git a/packer/provision/basebuild.sh b/packer/provision/basebuild.sh
index 76212c7..0c24364 100644
--- a/packer/provision/basebuild.sh
+++ b/packer/provision/basebuild.sh
@@ -274,6 +274,14 @@
jenkins ALL=(ALL) NOPASSWD:SETENV: CMDS
EOF
+ # install hadolint (Dockerfile checker)
+ HADOLINT_VERSION="1.17.1"
+ HADOLINT_SHA256SUM="2f8f3bf120e9766e6e79f7a86fed8ede55ebbf2042175b68a7c899a74eabbf34"
+ curl -L -o /tmp/hadolint https://github.com/hadolint/hadolint/releases/download/v${HADOLINT_VERSION}/hadolint-Linux-x86_64
+ echo "$HADOLINT_SHA256SUM /tmp/hadolint" | sha256sum -c -
+ mv /tmp/hadolint /usr/local/bin/hadolint
+ chmod -R a+rx /usr/local/bin/hadolint
+
# remove apparmor
service apparmor stop
update-rc.d -f apparmor remove