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 bde54c69c5 - Show all commits

View File

@@ -97,6 +97,7 @@ stdenv.mkDerivation rec {
cat > $out/run <<EOF
#!/bin/sh -e
${slurm}/bin/sbatch ${nixPrefix}$out/job
echo queued > status
EOF
chmod +x $out/run
'';