Function write_versions_file

tools/setup_workspace.py:288–296

(path: Path, versions: dict[str, str])

def write_versions_file(path: Path, versions: dict[str, str]) -> None:
    try:
        path.parent.mkdir(parents=True, exist_ok=True)
        with open(path, "w", encoding="utf-8") as f:
            json.dump({"versions": versions}, f, ensure_ascii=False, indent=4)
        print(Console.ok(t("inf_write_version_file", path=path)))
        print(Console.info(t("inf_current_versions", versions=versions)))
    except Exception as e:
        print(Console.warn(t("wrn_write_version_failed", error=e)))


def _retry_on_permission(operation, *, error_key: str = "", **fmt_args) -> bool: