Open ndmitchell opened 5 years ago
Any advice on how to collect such screenshots on Windows, or even someone doing it for me, would be most welcome.
I am not sure if the following is the most efficient way to do so, but this is what you could do:
If you are on windows 10, you could use one of its features right out of the box. This will enable you to capture whatever you like as an .mp4 file.
Unfortunatly, these files are pretty large, so we need to convert them to a gif. I found a straitforward way to do so online: https://www.onlineconverter.com/mp4-to-gif. Just upload the .mp4 file and wait for the .gif file to get downloaded.
Thanks for the advice. I'll take a try at some point. I was really hoping for AsciiCinema for Windows, but seems no luck.
For both the
ghcid
program on the home page, and the VS Code extension, it would be good to have animated screen shots like things on https://atom.io/packages/ide-haskell