diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-01-26 15:32:38 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-01-26 15:32:38 -0800 |
| commit | 2670fe625cce2fb2b4dc6340b3826e08ea995297 (patch) | |
| tree | 31bf52aba4df53b073947618c6b40f2efccbb9ab /exampleData/headlessRuns | |
| parent | 711179148abdef4cd9370d980b53025beb7c3872 (diff) | |
updated headless runner script to reflect new Firefox esr path, updates README with usage instructions for runExample.sh
Diffstat (limited to 'exampleData/headlessRuns')
| -rw-r--r-- | exampleData/headlessRuns/README.md | 18 | ||||
| -rwxr-xr-x | exampleData/headlessRuns/runExample.sh | 2 |
2 files changed, 18 insertions, 2 deletions
diff --git a/exampleData/headlessRuns/README.md b/exampleData/headlessRuns/README.md index d6f27b4..61ef522 100644 --- a/exampleData/headlessRuns/README.md +++ b/exampleData/headlessRuns/README.md @@ -1,5 +1,21 @@ # Example Headless Run Configurations # -The examples run configuration files in this directory require a +Use the included script `runExamples.sh` to use the headless run system +included with FiveUI. You will probably need to change the values of the +environment variables at the top of the script to match your local +environment. + +## Usage ## + +usage: runExample.sh <input file 1> [<input file 2> ...] + -h print this help message + -o <outfile> write output to file + -r <report directory> write HTML reports to given directory + -v verbose output + -vv VERY verbose output + +## Notes ## + +NB - The examples run configuration files in this directory require a local websever to be running on port 8000 hosting the HTML files in $FIVEUI_ROOT/exampleData/sites/. diff --git a/exampleData/headlessRuns/runExample.sh b/exampleData/headlessRuns/runExample.sh index dd11b03..9f4af7a 100755 --- a/exampleData/headlessRuns/runExample.sh +++ b/exampleData/headlessRuns/runExample.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash export FIVEUI_ROOT_PATH=../../ -export FIREFOX_BIN_PATH='/Applications/Firefox 10.0.7esr.app/Contents/MacOS/firefox' +export FIREFOX_BIN_PATH=$HOME/myapps/Firefox\ 17\ esr.app/Contents/MacOS/firefox java -DFIVEUI_ROOT_PATH=$FIVEUI_ROOT_PATH \ -DFIREFOX_BIN_PATH="$FIREFOX_BIN_PATH" \ |