To build on what @dshimada did, I have added .cmd files to the docker scripts. This allows you to run scripts/docker_up in both bash and powershell and have it do the right thing. In bash, it will run the bash script. In powershell, it will run the .cmd script which calls out to the powershell script.
This means we can have one set of instructions for the readme file on running under docker.
I also removed the old linux* bash scripts that @joelt11753 added in favor of the scripts that @dshimada added.
To build on what @dshimada did, I have added .cmd files to the docker scripts. This allows you to run
scripts/docker_upin both bash and powershell and have it do the right thing. In bash, it will run the bash script. In powershell, it will run the .cmd script which calls out to the powershell script.This means we can have one set of instructions for the readme file on running under docker.
I also removed the old linux* bash scripts that @joelt11753 added in favor of the scripts that @dshimada added.