[Info-vax] Command Line Versus Command Line

[Lawrence D'Oliveiro]

On Fri, 24 May 2024 18:11:25 +0300, Michael S wrote:

> It seems like the simplest solution is to not try to run batch files ...

That was part of the problem. Remember that, in Windows, if you pass a 
command with no extension, it tries appending things like .BAT and .EXE, 
to try to find a match. So you can’t really be sure beforehand that the 
command will *not* run a batch file.