2023-10-23 14:00:03 +00:00
|
|
|
@echo off
|
|
|
|
|
|
|
|
cd %~dp0\..
|
|
|
|
|
|
|
|
pushd tools\editor
|
|
|
|
for /r %%f in (.\*.c) do (
|
|
|
|
set "filename=%%~nxf"
|
|
|
|
if /i not "!filename!"=="rename.bat" (
|
|
|
|
echo Processing: %%f
|
|
|
|
..\fwkren.exe %%f to
|
|
|
|
) else (
|
|
|
|
echo Skipping %%f
|
|
|
|
)
|
|
|
|
)
|
|
|
|
for /r %%f in (.\*.h) do (
|
|
|
|
set "filename=%%~nxf"
|
|
|
|
if /i not "!filename!"=="rename.bat" (
|
|
|
|
echo Processing: %%f
|
|
|
|
..\fwkren.exe %%f to
|
|
|
|
) else (
|
|
|
|
echo Skipping %%f
|
|
|
|
)
|
|
|
|
)
|
2023-11-02 09:54:49 +00:00
|
|
|
for %%f in (".\fwk*") do (
|
|
|
|
set "filename=%%~nf"
|
|
|
|
set "newname=v4k!filename:fwk=!%%~xf"
|
|
|
|
echo Renaming "%%f" to "!newname!"
|
2023-11-02 10:22:42 +00:00
|
|
|
move "%%f" "!newname!"
|
2023-11-02 09:54:49 +00:00
|
|
|
)
|
2023-10-23 14:00:03 +00:00
|
|
|
echo All done.
|
|
|
|
endlocal
|
|
|
|
popd
|