forrest-user mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Ferdinand Soethe <>
Subject Why set FORREST_HOME?
Date Wed, 10 Nov 2004 14:19:03 GMT
Looking at forrest.bat in Forrest 0.7 I don't understand why you need
to set the FORREST_HOME when installing forrest when it is
automatically set the way it should be.

> rem ----- use the location of this script to infer $FORREST_HOME -------
> if NOT "%OS%"=="Windows_NT" set DEFAULT_FORREST_HOME=..
> if "%OS%"=="Windows_NT" set DEFAULT_FORREST_HOME=%~dp0\..
> if "%OS%"=="WINNT" set DEFAULT_FORREST_HOME=%~dp0\..

The only things that really needs to be set is the path-variable. That
is if you want to be able to start forrest anywhere.

Is this one step to save in future releases?
Or am I missing something?

Ferdinand Soethe

View raw message