Uwe Bonnes bon@elektron.ikp.physik.tu-darmstadt.de writes:
It's tools/wineinstall that does rename wcmd.exe to cmd.exe when installing. I don't think this is right. Other opinions?
Actually it could be argued that this is the right thing to do, since wcmd is supposed to be a replacement for cmd.exe. But then of course we should rename it consistently everywhere, not just in wineinstall.