pavel-kirienko/video-to-gif.sh

## video-to-gif.sh
#!/bin/bash
# Convert all video files in the current directory into gifs.
# Silently overwrite existing files.
# This is useful for working with matplotlib animations.
for src in *.mp4
do
    bn="${src%.*}"
    echo "$src $bn"
    ffmpeg -y -i "$src" "${bn}.gif" || exit 1
done
	#!/bin/bash
	# Convert all video files in the current directory into gifs.
	# Silently overwrite existing files.
	# This is useful for working with matplotlib animations.
	for src in *.mp4
	do
	bn="${src%.*}"
	echo "$src $bn"
	ffmpeg -y -i "$src" "${bn}.gif" \|\| exit 1
	done