Habría usado ffmpeg
para esta tarea. Echa un vistazo a este hilo que debería darte buenos resultados.
Probé con el mp4 del gif de giphy y como resultado obtuve este gif a continuación, ¡que se ve bastante bien en mi opinión!
mkdir frames
ffmpeg -i giphy.mp4 -vf scale=320:-1:flags=lanczos,fps=10 frames/ffout%03d.png
convert -loop 0 frames/ffout*.png output.gif
Чтобы показать историю в bash
:
$ history
Это покажет (в памяти) историю текущей оболочки.
$ cat "$HISTFILE"
Это выведет историю, сохраненную в этот файл предыдущими сеансами bash
, когда они завершались (или записывались в файл при других обстоятельствах).
См. руководство bash
и найдите в нем переменные, начинающиеся с HIST
. Они влияют на формат вывода команды history
, расположение и размер файла истории, а также на то, что в него помещается.
Вам также следует обратиться к тому же руководству за объяснением команды history
и того, когда история записывается в файл истории (ищите в руководстве history -s
). Также прочитайте раздел под названием HISTORY
(ищите ^HISTORY
).