HKDevTips

In short, use the following command to do the conversion: ffmpeg -i source_file.m4v -filter_complex "[0:v] split [a][b];[a] palettegen [p];[b][p] paletteuse" output_trimmed_enhanced.gif Reference: https://www.bannerbear.com/blog/how-to-make-a-gif-from-a-video-using-ffmpeg/

 To use conda behind firewall, in Windows: 1) Edit the .condarc channels: - defaults proxy_servers:   http: <proxy_host>:8080   https: <proxy_host>:8080 ssl_verify: False NOTE: Beware doing something like this: http: http://proxyhost:8080 https: http://proxyhost:8080 Don't add "http://" above, it's wrong! 2) Using pip (need to trust the hosts) pip install --trusted-host pypi.org --trusted-host pypi.python.org --trusted-host files.pythonhosted.org pandas Some other better methods exist, the above is just one of the options that works.