in tools/split.py [0:0]
def get_file_name(path: str) -> str: idx = path.rfind("/") return path[idx+1:]