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,
)

def create_file_in_container(
    container: DockerEnvironment,
    *,
    content: str,
    dest_path: str | Path,
):
    """
    Create a file with given content on a Docker container.
    Uses a temporary file on the local filesystem for the transfer.
    """
    with tempfile.NamedTemporaryFile(mode="w", delete=True, suffix=".tmp", dir=_scratch_dir()) as tmp_file:
        tmp_file.write(content)
        tmp_file.flush()  # Ensure content is written to disk
        tmp_file_path = Path(tmp_file.name)
        copy_to_container(container, tmp_file_path, dest_path)