I'm pretty sure the answer to this is no, but thought I'd take one more stab and post here.
It seems like there ought to be a way to change a file extension without turning off "Hide extensions of known file types" and without a command prompt window.
My customer's servers have extensions hidden by default so I have put a batch file out there. I create a text doc, put the contents of the batch file in, then rename it to .cmd.
Which of course, all that does is rename it to .cmd.txt.
It would be a really useful feature if I could pre-fix the file name to tell Windows Explorer that I want to literally name the file .cmd.
Like, wrapping the file name in double-quotes, i.e.; "batchfile.cmd" would rename the extension.
There's no feature I'm missing to do this right? I'm stuck bringing up a command prompt to rename the file or turning off "Hide extensions?"