[PATCH] docker: Change into docker directory

Samuel Mendoza-Jonas sam at mendozajonas.com
Tue Oct 2 14:39:04 AEST 2018


On Mon, 2018-09-17 at 10:08 -0700, Geoff Levand wrote:
> To avoid sending all the files in the top most project
> directory tree down to the docker daemon, change into
> the docker directory when running 'docker build'.
> 
> Signed-off-by: Geoff Levand <geoff at infradead.org>

Thanks, merged as 8ad5a518

> ---
>  docker/build-builder | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/docker/build-builder b/docker/build-builder
> index 8dcfba8..f593e54 100755
> --- a/docker/build-builder
> +++ b/docker/build-builder
> @@ -116,7 +116,7 @@ fi
>  
>  echo "Building docker image: ${DOCKER_TAG}" >&2
>  
> -cd ${TOP_DIR}
> +cd ${TOP_DIR}/docker
>  run_cmd "docker build \
>  	--file "${DOCKER_FILE}" \
>  	--build-arg DOCKER_FROM=${DOCKER_FROM} \




More information about the Petitboot mailing list