From 033efc40db34442d22db7450e5433d868341897a Mon Sep 17 00:00:00 2001 From: Nicolas Patry Date: Thu, 13 Mar 2025 11:04:50 +0100 Subject: [PATCH] Fixing the docker build. --- nix/docker.nix | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/nix/docker.nix b/nix/docker.nix index e89e5b99..5ade5c3d 100644 --- a/nix/docker.nix +++ b/nix/docker.nix @@ -9,11 +9,11 @@ let build = if stream then dockerTools.streamLayeredImage else dockerTools.buildLayeredImage; - tmp = runCommand "tmp" { } '' - mkdir $out - mkdir -m 1777 $out/tmp - ''; in +# tmp = runCommand "tmp" { } '' +# mkdir $out +# mkdir -m 1777 $out/tmp +# ''; build { name = "tgi-docker"; tag = "latest"; @@ -25,9 +25,12 @@ build { ]; }; + extraCommands = '' + mkdir -p tmp + chmod -R 1777 tmp + ''; contents = [ cacert stdenv.cc - tmp ]; }