pavel-kirienko · June 9, 2020 15:42
diff --git a/video-to-gif.sh b/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