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