06-11-2021, 12:45 PM
I find myself switching between versions quite a lot. I do use a bash script but it is much less ambitious. I just edit the version number as an when needed.
Code:
#!/bin/bash
clear
java -XX:+HeapDumpOnOutOfMemoryError -jar Ludii-1.2.1.jar