Для видеоредактора MoviePy создан новый плагин, который осуществляет экспорт видеороликов в формат анимированного GIF.
Например, у нас в наличии есть видеоролик.
Экспорт выбранного фрагмента осуществляется с помощью такого кода (указаны начальное значение 1 мин 22,65 сек и конечно значение 1 мин 23,2 сек).
from moviepy.editor import *
VideoFileClip("./frozen_trailer.mp4").\
subclip((1,22.65),(1,23.2)).\
resize(0.3).\
to_gif("use_your_head.gif")
Результат.
Можно указать координаты области, которая выбрана для экспорта. Таким способом, к примеру, отрезаются края изображения.
kris_sven = VideoFileClip("./frozen_trailer.mp4").\
subclip((1,13.4),(1,13.9)).\
resize(0.5).\
crop(x1=145,x2=400).\ # remove left-right borders
to_gif("kris_sven.gif")
Результат.
Есть и более продвинутые эффекты, в том числе добавление текста, «заморозка» части видеокадра, зацикливание, удаление фона и др., подробнее см. здесь.