1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70
|
j2se_base="/usr/lib/j2sdk1.4-blackdown"
priority=314
if [ ! -e "$j2se_base/debian/info" ]; then
exit 0
else
. "$j2se_base/debian/info"
fi
# alternative <program>
function program_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"
}
program_alternative appletviewer
program_alternative idlj
program_alternative jar
program_alternative java
program_alternative javac
program_alternative javadoc
program_alternative javah
program_alternative javap
program_alternative jdb
program_alternative rmic
program_alternative rmid
program_alternative rmiregistry
program_alternative serialver
# derive the architecture-specific
# directory for the plugin
arch_dir="$(dpkg --print-architecture)"
# assemble the plugin path
plugin_dir="$j2se_base/jre/plugin/$arch_dir"
# In 1.4.2, plugins got 'lib' prepended
if dpkg --compare-versions "$j2se_version" ge "1.4.2"; then
lib="lib"
else
lib=""
fi
# netscape
netscape_dir="/usr/lib/netscape/plugins-libc6"
[ -d "$netscape_dir" ] || install -d -m 755 "$netscape_dir"
update-alternatives \
--install "$netscape_dir/libjavaplugin.so" \
"netscape-javaplugin.so" \
"$plugin_dir/netscape4/${lib}javaplugin.so" "$priority"
# mozilla
mozilla_dir="/usr/lib/mozilla/plugins"
[ -d "$mozilla_dir" ] || install -d -m 755 "$mozilla_dir"
update-alternatives \
--install "$mozilla_dir/libjavaplugin.so" \
"mozilla-javaplugin.so" \
"$plugin_dir/mozilla/${lib}javaplugin_oji.so" "$priority"
# firefox
firefox_dir="/usr/lib/mozilla-firefox/plugins"
[ -d "$firefox_dir" ] || install -d -m 755 "$firefox_dir"
update-alternatives \
--install "$firefox_dir/libjavaplugin.so" \
"firefox-javaplugin.so" \
"$plugin_dir/mozilla/${lib}javaplugin_oji.so" "$priority"
|