Example for anim12 written in Batch script

[Squadzone]

for Windows
execute with command prompt
tested with gmt 6.1.1

[welcome]

💖 Thanks for opening this pull request! 💖

Please make sure you read our Contributing Guide and abide by our Code of Conduct.

A few things to keep in mind:

• If you need help writing tests, take a look at the existing ones for inspiration. If you don't know where to start, let us know and we'll walk you through it.
• All new features should be documented. It helps to write the comments below for your functions describing the it, all arguments, and return types before writing the code. This will help you think about your code design and results in better code.
• We are grateful that you put in the effort to do this! 🎉

[seisman]

Quick comments:

1. Remove this sentence or show the minutes on your Windows machine.
2. Add "author/contributor" or similar information to give the contributors (you) more credit?
3. We won't show the batch script in the online documentation, but perhaps we could add a note saying that a batch version is available?

[Squadzone]

1. Well, maybe someone with good PC specs with windows can test it? im using old pc 7-core windows 10 and takes ~15minutes to do this job :(
2. im fine with it :)
3. agreed, since most user in my place using windows so better if has example using batch

[Squadzone]

https://github.com/Squadzone/gmt_example_batch_script

[seisman]

@joa-quim I guess we don't want to maintain batch scripts for our animation examples, right?

[joa-quim]

Agree that we don't want to maintain (worst, create versions of) animations batch scripts but I think it would be good to have at least one example to show that Windows users can also write their animations with plain .bat files.

[seisman]

I think it would be good to have at least one example to show that Windows users can also write their animations with plain .bat files.

https://docs.generic-mapping-tools.org/dev/movie.html

Is this one enough?

[joa-quim]

Well, yes but it wouldn't harm either if we had one of the animations as a batch file. And specially in this case that the user already made it.

[seisman]

I guess we need a Windows user to run the batch scripts to make sure they're correct.

[seisman]

Actually, the batch version is more difficult to read and understand, because it uses echo extensively to write GMT commands into the pre, main and post scripts.