Creating .gifs from plots using ffmpeg

See here: here

To generate a gif from image files, first generate palette from images and then generate the gif from the images and the palette.

ffmpeg -i input_%02d.jpg -vf palettegen -y palette.png

ffmpeg -i input_%02d.jpg -i palette.png -lavfi paletteuse -y output.gif

Exporting several plotly html plots to a single html.

def many_figures_to_single_html(pathlib_path, list_of_figure_objects):
    with open(str(pathlib_path), 'a') as f:
        for figure in list_of_figure_objects:
            f.write(figure.to_html(full_html=False, include_plotlyjs='cdn'))