home *** CD-ROM | disk | FTP | other *** search
- #! /bin/sh
-
- set -e
-
- jdkhome=/usr/lib/jvm/java-gcj
- priority=1041
- jre_tools='jar java keytool rmiregistry'
-
- for program in $jre_tools; do
- update-alternatives --quiet \
- --install "/usr/bin/$program" "$program" \
- "$jdkhome/jre/bin/$program" "$priority" \
- --slave "/usr/share/man/man1/$program.1.gz" "$program.1.gz" \
- "$jdkhome/man/man1/$program.1.gz"
- done
-
-
-