Function copy_to_container

codeclash/utils/environment.py:102–132

Copy a file or directory from the local filesystem to a Docker container. The copy operation is recursive for directories. 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.

(
    container: DockerEnvironment,
    src_path: str | Path,
    dest_path: str | Path,
)

def copy_to_container(
    container: DockerEnvironment,
    src_path: str | Path,
    dest_path: str | Path,
):
    """
    Copy a file or directory from the local filesystem to a Docker container.

    The copy operation is recursive for directories.

    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.
    """
    if not str(dest_path).startswith("/"):
        # If not an absolute path, assume relative to container's cwd
        dest_path = f"{container.config.cwd}/{dest_path}"
    cmd = [
        "docker",
        "cp",
        str(src_path),
        f"{container.container_id}:{dest_path}",
    ]
    print(f"Copy to container: cmd={cmd}")
    # Ensure destination folder exists
    assert_zero_exit_code(container.execute(f"mkdir -p {Path(dest_path).parent}"))
    result = subprocess.run(cmd, check=False, capture_output=True, text=True)
    if result.returncode != 0:
        raise RuntimeError(
            f"Failed to copy {src_path} to {container.container_id}:{dest_path}: {result.stdout}{result.stderr}"
        )
    return result


def copy_from_container(