L.Specia wrote:
> Hi all,
>
> I’m using Gate as a library, but I’m having problems to
set the property
> *gate.plugins.home. *
>
> *The value of the property “gate.home” is being
correctly guessed as the
> location of the install directory.*
>
> *According to the used guide, if gate.plugins.home is
not set, *the
> default value of {gate.home}/plugins is used. That
would be, indeed, the
> plugins location. However, I’m getting the following
message:
>
> Using "C:Program%20FilesGATE%203.0" as GATE
> Home.
>
> If this is not correct please set it manually using the
-Dgate.home
> option in your start-up script
>
>
> gate.util.GateRuntimeException: Could not infer
installed plug-ins home!
>
> Please set it manually using the -Dgate.plugins.home
option in your
> start-up script.
The code that guesses gate.home in version 3.0 can't handle
paths that
contain spaces. This has since been fixed, so if you use
3.1 beta 1 it
should work OK. With 3.0 you will have to specify
-Dgate.home=... on
the command line - you should be able to enter a path with
spaces by
using double quotes, try one or other of the following:
-Dgate.home="C:Program FilesGATE 3.0"
"-Dgate.home=C:Program FilesGATE 3.0"
Ian
--
Ian Roberts | Department of Computer Science
i.roberts dcs.shef.ac.uk | University of Sheffield, UK
|