I'm working on getting Lean set up to run in visual studio. I've been following the guide on github, and I am stuck at the Running Lean in the Container part. I've updated the config file to use python.


When I go to the Lean folder in the terminal then type ./run_docker.bat debugging=yes I get the following;

./run_docker.bat: line 1: @echo: command not found

./run_docker.bat: line 3: REM: command not found

./run_docker.bat: line 4: REM: command not found

./run_docker.bat: line 5: REM: command not found

./run_docker.bat: line 6: syntax error near unexpected token `('

./run_docker.bat: line 6: `REM Licensed under the Apache License, Version 2.0 (the "License");'

Any idea what these errors mean?