rhino/rhino.script

33 lines
606 B
Plaintext
Raw Permalink Normal View History

2019-12-14 21:27:05 +08:00
#!/bin/sh
#
# rhino script
# JPackage Project <http://www.jpackage.org/>
# Source functions library
. /usr/share/java-utils/java-functions
# Source system prefs
if [ -f /etc/rhino.conf ] ; then
. /etc/rhino.conf
fi
# Source user prefs
if [ -f $HOME/.rhinorc ] ; then
. $HOME/.rhinorc
fi
# Configuration
MAIN_CLASS=org.mozilla.javascript.tools.shell.Main
# Remove xmlbeans until we have it in Fedora
#BASE_JARS="rhino jline xmlbeans/xbean"
BASE_JARS="rhino jline/jline jansi"
# Set parameters
set_jvm
set_classpath $BASE_JARS
set_flags $BASE_FLAGS
set_options $BASE_OPTIONS
# Let's start
run "$@"