From d44a406213e5c52710160ee2510734d98e2b57ff Mon Sep 17 00:00:00 2001 From: Tonis Tiigi Date: Tue, 8 Jun 2021 11:25:13 -0700 Subject: [PATCH] add hack/shell helper for dev shell environment Signed-off-by: Tonis Tiigi --- hack/{shell_backup => shell} | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) rename hack/{shell_backup => shell} (56%) diff --git a/hack/shell_backup b/hack/shell similarity index 56% rename from hack/shell_backup rename to hack/shell index 123ee09cc251..b094818489f8 100755 --- a/hack/shell_backup +++ b/hack/shell @@ -1,14 +1,17 @@ #!/usr/bin/env bash + set -e + function clean() { docker rmi $(cat $iidfile) } + iidfile=$(mktemp -t docker-iidfile.XXXXXXXXXX) DOCKER_BUILDKIT=1 docker build --iidfile $iidfile --target dev-env . -#DOCKER_BUILDKIT=1 docker build --iidfile $iidfile -f ./hack/dockerfiles/test.buildkit.Dockerfile --target dev-env . + trap clean EXIT SSH= if [ -n "$MOUNT_SSH_AUTH_SOCK" ]; then SSH="-v $SSH_AUTH_SOCK:$SSH_AUTH_SOCK -e SSH_AUTH_SOCK" fi -docker run $SSH -it --privileged -v /tmp --net=host --rm -e BUILDKIT_REGISTRY_MIRROR_DIR=/root/.cache/registry $(cat $iidfile) +docker run $SSH -it --privileged -v /tmp --net=host -e BUILDKIT_REGISTRY_MIRROR_DIR=/root/.cache/registry --rm $(cat $iidfile)