Renaming video files with bash

rename-video-files.md

Bulk rename videos like this:

20191109_212029.mp4 (in the format: yearMonthDay_hourMinuteSecond)

to:

2019-11-09_21-20-29.mp4 (year-month-day_hour-minute-second)

By running this bash command:

for file in ./*.mp4; do mv "$file" "${file:0:6}-${file:6:2}-${file:8:5}-${file:13:2}-${file:15}" ; done

Created with help from this stackoverflow post: link