Browse Source

Rename run_small to run_sims

Ian Goldberg 4 years ago
parent
commit
b28685abea
2 changed files with 3 additions and 3 deletions
  1. 3 3
      run-docker
  2. 0 0
      run_sims.in

+ 3 - 3
run-docker

@@ -1,8 +1,8 @@
 #!/bin/bash
 
 mkdir -p logdir
-if [ ! -x logdir/run_small ]; then
-    cp run_small.in logdir/run_small
-    chmod 755 logdir/run_small
+if [ ! -x logdir/run_sims ]; then
+    cp run_sims.in logdir/run_sims
+    chmod 755 logdir/run_sims
 fi
 docker run --rm --name walkingo_exp -v `/bin/pwd`/logdir:/home/walkingo/logdir walkingonions screen -D -m &

+ 0 - 0
run_small.in → run_sims.in