blob: 29a0419ba1b18d602de81da0717efec6a820bb4c (
plain)
1
2
3
4
5
6
7
8
|
#!/usr/bin/env bash
export FIVEUI_ROOT_PATH=$HOME/galois/FiveUI
export FIREFOX_BIN_PATH=/Users/bjones/myapps/Firefox_17_esr.app/Contents/MacOS/firefox
java -DFIVEUI_ROOT_PATH=$FIVEUI_ROOT_PATH \
-DFIREFOX_BIN_PATH=$FIREFOX_BIN_PATH \
-jar $FIVEUI_ROOT_PATH/src/batchtools/headless/bin/HeadlessRunner-0.0.1-SNAPSHOT.one-jar.jar \
$*
|
