Rename media files to its last changed time

PHOTO EMBED

Thu Jul 06 2023 08:08:01 GMT+0000 (Coordinated Universal Time)

Saved by @ialmeida #bash

for file in <files>; do 
	[[ $? != 0 ]] && break
	echo -n "$file: "
	ext=$(cut -d. -f2 <<< "$file")
	base=$( stat -c '%y' "$file" | cut -d . -f 1 | tr : . )
	name="$base".${ext,,}; echo $name
    mv "$file" "$name"
done
content_copyCOPY

Change IMG_nnnnnn.jpg to <year>-<month>-<day>\ <hour>.<min>.<sec>.jpg