Here is the batch script:
@echo off
for %%i in (*.mp4) do (
ffmpeg.exe -i "%%i" "%%i".gif
move "%%i".gif gif
move "%%i" mp4
)
Photo by <a href="https://unsplash.com/@jakobowens1" rel="nofollow">Jakob Owens</a> on <a href="https://unsplash.com/?utm_source=android-blog&utm_medium=referral" rel="nofollow">Unsplash</a> 