util.py 259 B

123456789101112
  1. import csv
  2. from io import StringIO
  3. from typing import List
  4. def split_path_list(path_list: str) -> List[str]:
  5. pl = []
  6. with StringIO() as f:
  7. f.write(path_list)
  8. f.seek(0)
  9. for r in csv.reader(f):
  10. pl += r
  11. return pl