Я видел, как извлечь как JPG из GIF, но не могу найти ответы, относящиеся к тому, как извлечь GIF из GIF для одного кадра.Это то, что я пробовал, хотел включить -vframe 1 с водяным знаком и фильтровать сложную палитру палитры, но выдает ошибку.
$cmd11 = "$ffmpeg -ss 00:00:07 -vframes 1 -i $thumb3 -i $watermark3 -filter_complex '[0]scale=200:113:flags=lanczos[bg];[bg][1]overlay=(main_w-overlay_w)/2:(main_h-overlay_h)/2,palettegen' $palette4";
$cmd22 = "$ffmpeg -ss 00:00:07 -vframes 1 -i $thumb3 -i $watermark3 -i $palette4 -filter_complex '[0]scale=200:113:flags=lanczos[bg];[bg][1]overlay=(main_w-overlay_w)/2:(main_h-overlay_h)/2[x];[x][2]paletteuse=dither=bayer:bayer_scale=3' $thumb4";
shell_exec(cmd11);
shell_exec(cmd22);
Кроме того, возникнет ли проблема, если у меня будет 10 последовательных shell_exec ()работает на одном php?