+++ /dev/null
- # Common functions for all install scripts
-
- # install_alternative -- add an alternative
- #
- # install_alternative program
- function install_alternative() {
- local program="$1"
- update-alternatives \
- --install "/usr/bin/$program" "$program" \
- "$j2se_base/bin/$program" "$priority" \
- --slave "/usr/share/man/man1/$program.1.gz" "$program.1.gz" \
- "$j2se_base/man/man1/$program.1.gz"
- }
-
- # install_java_plugin -- add an alternative for a browser plugin
- #
- # install_java_plugin browser_plugin_path java_plugin_path priority
- function install_java_plugin() {
- [ -d "$1" ] || install -d -m 755 "$1"
- update-alternatives \
- --install "$1/$2" "$3" "$4" "$5"
- }