diff options
Diffstat (limited to 'bin/runHeadless.sh')
| -rwxr-xr-x | bin/runHeadless.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/runHeadless.sh b/bin/runHeadless.sh index 6cc925a..68842b1 100755 --- a/bin/runHeadless.sh +++ b/bin/runHeadless.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -export FIVEUI_ROOT_PATH=$HOME/galois/FiveUI -export FIREFOX_BIN_PATH=$HOME/myapps/Firefox17/Contents/MacOS/firefox +export FIVEUI_ROOT_PATH=$HOME/FiveUI +export FIREFOX_BIN_PATH=/usr/bin/firefox java -DFIVEUI_ROOT_PATH=$FIVEUI_ROOT_PATH \ -DFIREFOX_BIN_PATH=$FIREFOX_BIN_PATH \ |