From 9fa414294066b069162c5e80d625e0fb92c84293 Mon Sep 17 00:00:00 2001 From: Florin Blanaru Date: Fri, 17 Jun 2022 22:52:22 +0300 Subject: [PATCH] [lint] CHange docker lint message --- tests/lint/docker-format.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tests/lint/docker-format.sh b/tests/lint/docker-format.sh index 8638afc2d46b..4ce804c83e62 100755 --- a/tests/lint/docker-format.sh +++ b/tests/lint/docker-format.sh @@ -20,12 +20,14 @@ TVM_HOME="$(git rev-parse --show-toplevel)" DOCKER_DIR="$TVM_HOME/docker" if git grep "apt install" -- ':(exclude)docker/utils/apt-install-and-clear.sh' $DOCKER_DIR; then - echo "Found \"apt install\" in docker file." + echo "Using \"apt install\" in docker file is not allowed." + echo "Please use \"apt-install-and-clear\" instead in order to keep the image size at a minimum." exit 1 fi if git grep "apt-get install" -- ':(exclude)docker/utils/apt-install-and-clear.sh' $DOCKER_DIR; then - echo "Found \"apt-get install\" in docker file." + echo "Using \"apt-get install\" in docker file is not allowed." + echo "Please use \"apt-install-and-clear\" instead in order to keep the image size at a minimum." exit 1 fi