diff options
Diffstat (limited to 'robot')
| -rwxr-xr-x | robot/all-card-run.sh | 2 | ||||
| -rw-r--r-- | robot/robot.sh | 9 | ||||
| -rwxr-xr-x | robot/spanish-run.sh | 2 |
3 files changed, 8 insertions, 5 deletions
diff --git a/robot/all-card-run.sh b/robot/all-card-run.sh index 5f35401..3d70fc0 100755 --- a/robot/all-card-run.sh +++ b/robot/all-card-run.sh @@ -7,8 +7,6 @@ source $this_dir/robot.sh card_no=12 -small_sleep=0.1 - function run_drill { ## Org-drill should be running at this point, so give three answers diff --git a/robot/robot.sh b/robot/robot.sh index c9a6169..8b7e9a3 100644 --- a/robot/robot.sh +++ b/robot/robot.sh @@ -7,7 +7,14 @@ window_id= ## This is the small sleep between key presses. Change for debugging ## when you are not sure what is happening -small_sleep=0.1 +echo arg is $1 +if [ -z $1 ] +then + small_sleep=0.1 +else + small_sleep=$1 +fi + big_sleep=1 emacs_process_pid= diff --git a/robot/spanish-run.sh b/robot/spanish-run.sh index c90e31a..c8cf19a 100755 --- a/robot/spanish-run.sh +++ b/robot/spanish-run.sh @@ -7,8 +7,6 @@ source $this_dir/robot.sh card_no=15 -small_sleep=0.1 - function run_drill { ## Org-drill should be running at this point, so give three answers |