Copying the sources in /src instead of /

pmeunier

Jun 15, 2025, 8:46 AM

VWVW5VOIYXHVNZI7LEIXM6HGCWWTTOKWGA7NGB65M6FSGYG6BCZQC

Dependencies

• [2] ODUDDQRY Adding the OCaml interface
• [3] BQ4E3XLA Forwarding stdout/stderr

Change contents

• edit in src/container.rs at line 478
  [2.57268]

  [2.57268]
  + let tmp_src = tmp_dir.join("src");

  + std::fs::create_dir_all(&tmp_src)?;
• edit in src/container.rs at line 546
  [2.60440]

  [2.60440]
  + std::os::unix::fs::chown(tmp_src, Some(uid), Some(gid)).unwrap();
• replacement in src/container.rs at line 566
  [2.60877]→[2.60877:60926](∅→∅)
  − std::env::set_current_dir("/").unwrap();
  [2.60877]

  [2.60926]
  + std::env::set_current_dir("/src").unwrap();