Convert your gif to an mp4

.profile

function giftomp4() {
	file_path=$(pwd)
	file_name=$(basename "${1}")
	file_ext="${file_name##*.}"
	file_name="${file_name%.*}"

	frame_rate=3

	if [ "$2" ]
	then
		frame_rate=${2}
	fi

	echo "$file_name.$file_ext"

	ffmpeg -f gif -r $frame_rate -i $file_name.$file_ext -vcodec libx264 -pix_fmt yuv420p $file_name.mp4
}