From 66e27b8914ea29842bb946fc9fc8a5620e1af9f1 Mon Sep 17 00:00:00 2001 From: Elias Stepanik <40958815+eliasstepanik@users.noreply.github.com> Date: Thu, 5 Jun 2025 18:44:28 +0200 Subject: [PATCH] Create trim.bat --- trim.bat | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 trim.bat diff --git a/trim.bat b/trim.bat new file mode 100644 index 0000000..d8e0012 --- /dev/null +++ b/trim.bat @@ -0,0 +1,33 @@ +@echo off +rem combine_all.bat – merge every *.rs and *.toml in this tree +setlocal enabledelayedexpansion + +rem Output files +set "OUT_RS=target/combined.rs" +set "OUT_TOML=target/combined.toml" + +if exist "%OUT_RS%" del "%OUT_RS%" +if exist "%OUT_TOML%" del "%OUT_TOML%" + +rem -------- merge .rs -------- +for /f "delims=" %%F in (' + dir /b /s /o:n *.rs ^| findstr /v /i "\\target\\" +') do ( + echo /* --- %%~F --- */>>"%OUT_RS%" + type "%%F" >>"%OUT_RS%" + echo.>>"%OUT_RS%" +) + +rem ----- merge .toml ----- +for /f "delims=" %%F in (' + dir /b /s /o:n *.toml ^| findstr /v /i "\\target\\" +') do ( + rem TOML uses # for comments + echo # --- %%~F --- >>"%OUT_TOML%" + type "%%F" >>"%OUT_TOML%" + echo.>>"%OUT_TOML%" +) + +echo Merged .rs files into %OUT_RS% +echo Merged .toml files into %OUT_TOML% +endlocal