JDeveloper 10.1.3.1: Can't start jdev/bin/jdev

Question

I have installed this on a gentoo linux with jdk 1.5.0 (I should probably upgrade to a more recent version, but I don't think it has anything to do with this problem). I followed the instructions here: http://www.oracle.com/technology/products/jdev/htdocs/10.1.3.1/install.html#installunixlinux
However, when I come to starting the thing with 'jdev/bin/jdev' I get the following error:
jdev/bin/jdev: line 153: jdev/bin/jdev.common: Not a directory
- which seems to be nonsense, since this is a file that exists (and has the right permissions) and it is not supposed to be a directory anyway. And I can run the command in that line from the commandline. What is going on?

Answer 1

Could you take a backup of your file jdev and edit it.
Replace the last lines as the following:
# ===========================================================================
# Start of script.
# ===========================================================================
# SetBaseDir
JDEV_BASE_DIR=$(dirname $(readlink -f $0))
cd ${JDEV_BASE_DIR}
. "${JDEV_BASE_DIR}"/jdev.common
LaunchJDeveloper "$@"where
SetBaseDiris replaced by
JDEV_BASE_DIR=$(dirname $(readlink -f $0))
cd ${JDEV_BASE_DIR}Does it work then ?
Regards,
Didier.