change default batch scheduler to SLURM

SPIDERCMB · Oct 3, 2023 · 5657919 · 5657919
1 parent f3e629d
commit 5657919
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/xfaster/batch_tools.py b/xfaster/batch_tools.py
@@ -97,7 +97,7 @@ def batch_sub(
     echo=True,
     delete=True,
     submit=True,
-    scheduler="pbs",
+    scheduler="slurm",
     debug=False,
     exclude=None,
     verbose=False,
@@ -532,11 +532,11 @@ def _opt_list(self):
                     ),
                 ),
                 (
-                    "slurm",
+                    "pbs",
                     dict(
                         action="store_true",
                         default=False,
-                        help="Create SLURM (rather than PBS) job scripts",
+                        help="Create PBS (rather than SLURM) job scripts",
                     ),
                 ),
                 (
@@ -719,7 +719,9 @@ def set_job_opts(self, args, load_defaults=True, **kwargs):
             group_by=args["group"],
             serial=args["serial"],
         )
-        if args["slurm"]:
+        if args["pbs"]:
+            self.job_opts["scheduler"] = "pbs"
+        else:
             self.job_opts["scheduler"] = "slurm"
 
         time = self.time / args["cpu_speed"] / scale