Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Generate _env.cmd file instead of bat file for consistency. #469
The RefreshEnv.cmd script generates a _env.bat file. I changed the script to generate a cmd file for consistency.
I was lead to make this change because I found that some organizations use group policy to block the execution of bat files in %TEMP%, but do not block the execution of cmd files. This might just be an oversight in the group policy configuration, but I figure it wouldn't hurt to use the newer "cmd" convention, especially if it isn't blocked.