Function cleanup_cache_file

tools/setup_workspace.py:438–447

(path: Path)

def cleanup_cache_file(path: Path) -> None:
    try:
        if path.exists():
            path.unlink()
            print(Console.ok(t("inf_cache_cleaned", path=path)))
        meta = Path(str(path) + ".url")
        if meta.exists():
            meta.unlink()
    except OSError as e:
        print(Console.warn(t("wrn_cache_clean_failed", path=path, error=e)))


def clean_cache() -> None: