On some Linux distros installing from the 5.1 jar file via 'java -jar jedit5.1.0install.jar' eventually fails when specifying that the jedit plugin and API documentation should be installed, whose checkbox is on by default. The failure puts out a message of:
""The installer could not create the destination directory. Maybe you
do not have write permission."
This will occur even when all three of the specified install paths ( for the installation, script, and man pages ) are within the installer's home folder and therefore the installer must have write permission to those directories. This must mean that the jedit plugin and API documentation is being erroneously installed in directories where the installer does not have write permission outside of the installer's home directory.
Log in to post a comment.