python字符分割/多分隔符分割

参考博客 https://blog.csdn.net/hawkerou/article/details/53518154

str.split不支持正则及多个切割符号
re.split，支持正则及多个字符切割

  video_name = 'video'
  time_now = re.split('[" ":]', time.ctime())
  for i in range(len(time_now)):
      video_name += '-'
      video_name += time_now[i]
  video_name += '.avi'
  print(video_name)

分割时间格式中的空格符和冒号：
原时间格式：Wed Oct 31 21：00：17 2018
输出：video-Wed-Oct-31-21-00-17-2018.avi