Function _scratch_dir

codeclash/utils/environment.py:14–20

Local scratch dir for staging `docker cp` transfers. Defaults to the system temp dir. Override with CODECLASH_TMPDIR (e.g. on AWS Batch, where the default temp dir misbehaves).

()

def _scratch_dir() -> str | None:
    """Local scratch dir for staging `docker cp` transfers. Defaults to the system temp dir.
    Override with CODECLASH_TMPDIR (e.g. on AWS Batch, where the default temp dir misbehaves)."""
    override = os.getenv("CODECLASH_TMPDIR")
    if override:
        Path(override).mkdir(parents=True, exist_ok=True)
    return override


class ClashDockerEnvironment(DockerEnvironment):