1 # Common functions for all install scripts
3 # install_alternative -- add an alternative
5 # install_alternative program
6 function install_alternative() {
9 --install "/usr/bin/$program" "$program" \
10 "$j2se_base/bin/$program" "$priority" \
11 --slave "/usr/share/man/man1/$program.1.gz" "$program.1.gz" \
12 "$j2se_base/man/man1/$program.1.gz"
15 # install_java_plugin -- add an alternative for a browser plugin
17 # install_java_plugin browser_plugin_path java_plugin_path priority
18 function install_java_plugin() {
19 [ -d "$1" ] || install -d -m 755 "$1"
21 --install "$1/$2" "$3" "$4" "$5"