Fixing the docker build. (#3108)

* Fixing the docker build.

* Apply suggestions from code review
This commit is contained in:
Nicolas Patry 2025-03-13 11:26:44 +01:00 committed by GitHub
parent 27ed848676
commit 8b91f92978
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -9,10 +9,6 @@
let let
build = if stream then dockerTools.streamLayeredImage else dockerTools.buildLayeredImage; build = if stream then dockerTools.streamLayeredImage else dockerTools.buildLayeredImage;
tmp = runCommand "tmp" { } ''
mkdir $out
mkdir -m 1777 $out/tmp
'';
in in
build { build {
name = "tgi-docker"; name = "tgi-docker";
@ -25,9 +21,12 @@ build {
]; ];
}; };
extraCommands = ''
mkdir -p tmp
chmod -R 1777 tmp
'';
contents = [ contents = [
cacert cacert
stdenv.cc stdenv.cc
tmp
]; ];
} }