使用Python编写了一个脚本，可以批量修改文件夹下短视频的名称，通过获取视频时长并将其加入到原始文件名中。这个脚本利用了moviepy库，需要先安装该库才能运行。这个小工具可以很方便地处理时长一致的视频文件。