Пользуясь программами
simplescreenrecorder
ffmpeg -i simplescreenrecorder-2020-02-19_11.17.43.mkv -r 30 mygif.gif
gifsicle -i mygif.gif -O3 --colors 256 -o mygif2.gif
я сделал gif с анимацией.
Моя проблема в том, что длина файла получилась гораздо больше, чем один цикл анимации. Из-за этого размер файла получился 2.5 мегабайта (и мне кажется, что это излишне много, потому что просто картинка такого же размера занимает 300 килобайт).
Какие программы и как использовать, чтобы найти минимальный цикл и отрезать всё лишнее?
Ещё прочитал, что анимированные gif можно вставлять внуть svg. Это могло бы тоже сократить размер финального файла, за счёт того, что циклы разного периода по времени бы не перемножались, а складывались.
