add userscript support for start-workers.sh

ucsd-ets · Feb 27, 2024 · 1bb5b64 · 1bb5b64
1 parent 9d441c9
commit 1bb5b64
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/start-workers.sh b/start-workers.sh
@@ -1,5 +1,12 @@
 #!/bin/bash
 
+# Modify this script by copying it to your home directory
+# *** be sure to remove the "exec" line below from your copy! ***
+USERSCRIPT=$HOME/start-workers.sh
+if [ -x "$USERSCRIPT" ]; then
+    exec "$USERSCRIPT" "$@"
+fi 
+
 NUM_WORKERS=2
 
 WORKER_CPU_REQUEST=3