def get_file_name()

in tools/split.py [0:0]


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