From 6a569424c467d1ba3f7dc99a39a71ad36b79ed7e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= Date: Mon, 23 Oct 2023 16:00:03 +0200 Subject: [PATCH] editor_rename helper script --- tools/editor_rename.bat | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 tools/editor_rename.bat diff --git a/tools/editor_rename.bat b/tools/editor_rename.bat new file mode 100644 index 0000000..1375165 --- /dev/null +++ b/tools/editor_rename.bat @@ -0,0 +1,26 @@ +@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 + ) + ) + echo All done. + endlocal +popd \ No newline at end of file