Question

I have a program that generated unknown numbers of files with integer extension as follows.

I want to append .eps to each. How to do this in a DOS batch file?

I cannot use the following because I don’t know the search expression.

for %%x in (Main.<what>) do rename "%%x" "%%x.eps"

Note: Any files having the same name with non-integer extension must be left as is.

Answer 1

setlocal EnableDelayedExpansion
for %%x in (Main.*) do (
    set ext=%%~Xx
    set /a num=!ext:~1!
    if !num! gtr 0 rename "%%x" "%%x.eps"
)

First SET get just the extension of file name, including the dot (with ~X). Second SET /A try to convert the extension (without the dot with :~1) to number. If it is really a number (greater than zero) do the rename.