使用datetime批量重命名文件

Question

例如，我有很多文件，例如[IMG|VID_]yyyymmdd_HHMMSS.jpg|png|mp4

20200123_122320.jpg|png|gif
20200123_122320.mp4
IMG_20200123_122320.jpg|png|gif
VID_20200123_122320.mp4

(\d{8})\D(\d{6})的

正则表达式rename可以提取日期和时间str。但是我不知道如何像2020-01-23 12.23.20.jpg|mp4那样进一步重命名它们。