Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 46f7add84c - Show all commits

View File

@@ -47,7 +47,7 @@ done
while true; do
msg "Waiting for experiments ..."
read -r tre < "$run"
tre=$(head -1 "$run")
msg "Attempting to run: $tre"
msg "Copying files to MN4..."
@@ -65,7 +65,7 @@ while true; do
msg "Waiting for nix to finish the build..."
read -r tre2 < "$wipe"
tre2=$(head -1 "$wipe")
if [ "$tre" != "$tre2" ]; then
msg "error: trebuchet mismatch"
exit 1