Mike McCormack mikem@codeweavers.com writes:
Launching wcmd would probably be the best option. Perhaps have a handler in the config file like:
[Executable types] "bat" = "wcmd %s"
I don't think we want to check extensions this way. We should simply hand off all command lines we cannot execute another way to the command interpreter (which could be made configurable so you can use native cmd.exe if you have it).