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 3419db1fc6 - Show all commits

View File

@@ -132,7 +132,7 @@ let
++ [ broom ]
# Use sbatch to request resources first
++ optional enableSbatch sbatch
++ optionals enableSbatch [ sbatch nixsetup ]
# Record the current env vars set by SLURM to verify we don't have something
# nasty (like sourcing .bashrc). Take a look at #26