def _convert_name_to_filename()

in prebuilt-rules-scripts/generate.py [0:0]


def _convert_name_to_filename(name: str) -> str:
    name = re.sub(r'[():]', '', name.lower())
    name = re.sub(r'[ -+/\\]+', '-', name)
    name = re.sub(r'-+', '-', name)
    return name