adamkewley
commented
4 months ago Not worth it: I've been using a mixture of bash/python for these kinds of tasks and it turns out that bash is generally nicer for working on build tweaks.
The windows-to-python conversion shall remain, though, because windows batch isn't as fun to work with.
To reduce deduplication and prevent slip ups that can happen when translating scripts from (unix) bash to (Windows) batch files.
The choice of python is because it is available on all three platforms, has
subprocess, and most developers can read it.