diff options
| author | Phillip Lord <phillip.lord@russet.org.uk> | 2019-06-22 12:29:02 +0100 |
|---|---|---|
| committer | Phillip Lord <phillip.lord@russet.org.uk> | 2019-06-22 12:29:02 +0100 |
| commit | 6533b732469dd4a8014e9e3ffb29625947d387ed (patch) | |
| tree | e7aa415d9fbdbfeb5a51e476394ad60413a56bf0 /robot/robot.sh | |
| parent | 9eb8d72776d95ab8977e5a73523101d816b03a78 (diff) | |
| download | org-drill-6533b732469dd4a8014e9e3ffb29625947d387ed.tar.gz org-drill-6533b732469dd4a8014e9e3ffb29625947d387ed.zip | |
Support changing small sleep on command line
Diffstat (limited to 'robot/robot.sh')
| -rw-r--r-- | robot/robot.sh | 9 |
1 files changed, 8 insertions, 1 deletions
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= |