Function create_file_in_container

codeclash/utils/environment.py:164–178

Create a file with given content on a Docker container. Uses a temporary file on the local filesystem for the transfer.

(
    container: DockerEnvironment,
    *,
    content: str,
    dest_path: str | Path,
)

    Be extremely careful with trailing slashes in src_path and dest_path, the behavior
    of docker cp is also different depending on whether the destination exists.
    """
    cmd = [
        "docker",
        "cp",
        f"{container.container_id}:{src_path}",
        str(dest_path),
    ]
    print(f"Copy from container: cmd={cmd}")
    Path(dest_path).parent.mkdir(parents=True, exist_ok=True)
    result = subprocess.run(cmd, check=False, capture_output=True, text=True)
    if result.returncode != 0:
        raise RuntimeError(
            f"Failed to copy {container.container_id}:{src_path} to {dest_path}: {result.stdout}{result.stderr}"
        )
    return result


def create_file_in_container(