ffmpeg to convert MPEG4 to Animated GIF

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/

Using Conda behind firewall

 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.