From 9120d2d730d27040cf8c2fcfe75e53d7f3323672 Mon Sep 17 00:00:00 2001 From: weriomat Date: Sat, 14 Jun 2025 18:31:04 +0200 Subject: [PATCH] chore: respect TMPDIR for local builds This fixes #283. --- src/push.rs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/push.rs b/src/push.rs index 6c777c64..a2787c53 100644 --- a/src/push.rs +++ b/src/push.rs @@ -75,6 +75,13 @@ pub async fn build_profile_locally(data: &PushProfileData<'_>, derivation_name: build_command.arg(derivation_name) }; + match std::env::var("TMPDIR") { + Ok(build_dir) => { + info!("Detected TMPDIR is set for build to {build_dir}"); + build_command.env("TMPDIR", build_dir); + } + Err(_) => {} + } match (data.keep_result, data.supports_flakes) { (true, _) => { let result_path = data.result_path.unwrap_or("./.deploy-gc");