diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-02-21 17:46:40 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-02-21 17:46:40 -0800 |
| commit | a89e5c30c95e9fd4c4625b0e65c3c98fb8d473ba (patch) | |
| tree | 5ace942c5dbfe42241e5a37b5f9d0b14cc42235c /doc | |
| parent | 6224619a8c3ea656092cfc2e38f4de380c134182 (diff) | |
moved FIVEUI_ROOT/bin to FIVEUI_ROOT/headless/bin and updated references in docs
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual_src/headlessFiveUI.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/manual_src/headlessFiveUI.md b/doc/manual_src/headlessFiveUI.md index c65088b..78f7a2d 100644 --- a/doc/manual_src/headlessFiveUI.md +++ b/doc/manual_src/headlessFiveUI.md @@ -92,12 +92,12 @@ that you have to `<FiveUI>/profiles/firefox`. ### Edit the run script -Edit variables at the start of `<FiveUI>/bin/runHeadless.sh` to +Edit variables at the start of `<FiveUI>/headless/bin/runHeadless.sh` to reflect your Firefox installation and FiveUI installation directory. ``` -$ cd <FiveUI> -$ cat bin/runHeadless.sh +$ cd <FiveUI>/headless/bin +$ cat runHeadless.sh export FIVEUI_ROOT_PATH=$HOME/galois/FiveUI export FIREFOX_BIN_PATH=$HOME/myapps/Firefox17/Contents/MacOS/firefox ... @@ -108,8 +108,8 @@ export FIREFOX_BIN_PATH=$HOME/myapps/Firefox17/Contents/MacOS/firefox The `runHeadless.sh` script can be invoked from the command line with options. ``` -$ cd <FiveUI> -$ bin/runHeadless.sh -h +$ cd <FiveUI>/headless/bin +$ ./runHeadless.sh -h usage: headless <input file 1> [<input file 2> ...] -h print this help message -o <outfile> write output to file @@ -133,7 +133,7 @@ $ mkdir -p reports/basic Now invoke the `runHeadless` script. ``` -$ <FiveUI>/bin/runHeadless.sh basicRun.json -v -o reports/basic.out -r reports/basic +$ <FiveUI>/headless/bin/runHeadless.sh basicRun.json -v -o reports/basic.out -r reports/basic ``` You should see the Firefox browser open and load `http://whitehouse.gov`. The FiveUI |