I was unable to get batsh working on my machine, so I wrote a PHP CLI script to wrap the batsh compiler that you use for the sandbox at https://batsh.org
https://gist.github.com/shannah/cb89c4fcf0ddd52fe4ae91a547bbd5fa
Usage:
php batsh.php myscript.batsh
This will create a directory named "build" in the current directory, with myscript.sh and myscript.bat
Just posting it here in case someone finds it useful, or if you want to include this somewhere in the batsh repo.
I was unable to get batsh working on my machine, so I wrote a PHP CLI script to wrap the batsh compiler that you use for the sandbox at https://batsh.org
https://gist.github.com/shannah/cb89c4fcf0ddd52fe4ae91a547bbd5fa
Usage:
php batsh.php myscript.batshThis will create a directory named "build" in the current directory, with myscript.sh and myscript.bat
Just posting it here in case someone finds it useful, or if you want to include this somewhere in the batsh repo.