From 8b91f92978b6be529df6594a376a454e71009078 Mon Sep 17 00:00:00 2001 From: Nicolas Patry Date: Thu, 13 Mar 2025 11:26:44 +0100 Subject: [PATCH] Fixing the docker build. (#3108) * Fixing the docker build. * Apply suggestions from code review --- nix/docker.nix | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/nix/docker.nix b/nix/docker.nix index e89e5b99a..dc4c823d2 100644 --- a/nix/docker.nix +++ b/nix/docker.nix @@ -9,10 +9,6 @@ let build = if stream then dockerTools.streamLayeredImage else dockerTools.buildLayeredImage; - tmp = runCommand "tmp" { } '' - mkdir $out - mkdir -m 1777 $out/tmp - ''; in build { name = "tgi-docker"; @@ -25,9 +21,12 @@ build { ]; }; + extraCommands = '' + mkdir -p tmp + chmod -R 1777 tmp + ''; contents = [ cacert stdenv.cc - tmp ]; }